Adds Options class hierarchy which stores all the parameters associated with command line options for pyk, and is extendable by downstream projects. This is a part of the changes pulled out from #967.
Adds Options which automatically populates its fields from a prepared dict from the parsed command line args and sets default values when the values are missing
Adds LoggingOptions, etc., which are groups of options that can be inherited by commands
Adds ProveOptions, etc. which are directly associated with particular pyk commands but otherwise behave the same
exec_* functions now take the corresponding *Options type instead of generic Namespace
Defaults are no longer set at the argparse level since they are now set in Options constructor.
Adds
Optionsclass hierarchy which stores all the parameters associated with command line options for pyk, and is extendable by downstream projects. This is a part of the changes pulled out from #967.Optionswhich automatically populates its fields from a prepareddictfrom the parsed command line args and sets default values when the values are missingLoggingOptions, etc., which are groups of options that can be inherited by commandsProveOptions, etc. which are directly associated with particular pyk commands but otherwise behave the sameexec_*functions now take the corresponding*Optionstype instead of genericNamespaceOptionsconstructor.