Reproducible Tiered Configuration Strategy

[ehennenfent]

Why

We'd like for Manticore to eventually support saving and resuming execution states, possibly on different systems or with a large interval of time in between. In order to do that, we need the configuration system to be entirely reproducible. Right now, configuration values set on the command line or in scripts aren't bound to the states they produce, so they can easily get lost.

Acceptance Criteria

• Manticore provides an API for encoding configuration settings at several granularities, including on the command line, in scripts, and in a configuration file
• Manticore serializes the entire configuration state inside the workspace during a run