Model commands and options with composition

[nwatson22]

For a follow-up refactor to runtimeverification/pyk#916

Split the class Options into Options which holds the options as fields, and OptionsHandler which takes a parameterized Options type and can export argparse information for that option, handle default values, and instantiate its Options class.
Commands would then be instantiated by passing in OptionsHandlers for the appropriate sets of options

See comment here

[ehildenb]

Maybe a nice design would be something like:

class Option:
    default: Any | None = None
    name: str
    cli: str
    help: str

    @abstractmethod
    def parser(parser: ArgumentParser) -> None:
        ...

class BoolOption(Option):
    ...

    def parser(_parser) -> None:
        _parser.add_argument(self.cli, self.name, action='store_true', default=self.default, help=self.help)
        _parser.add_argument(f`{--no-}{self.cli[3:]}', self.name, action='store_false', default=self.default, help=self.help)

Pretty rough sketch, but basically the idea is that we are only declaratively making options, and the parsers are generated for us, and then more functionality can be derived from the declarative arguments instead of speciffying thinsg like the parser/toml reader directly.