Options Editor

[mhils]

Mitmproxy recently got a new option management system with a brand new option editor. Needless to say, we should add the same thing to mitmweb. This would bring most of mitmproxy's features to mitmweb, until we find time to develop better UIs for some of them.

[mhils]

We have a whole bunch of subtasks here:

• [x] Implement GET /options, which returns information on all options (basically a JSON version of mitmdump --options)
• [x] Implement POST /options to update individual settings.
• [x] Implement modal popups in mitmweb (@cle1000 did something like this and can surely help)
• [x] Display all options in a single list in a popup
• [x] Make different option types editable
• [ ] Add categories for options

[mhils]

GET /options

JSON Format should probably look like this:

[
    {name: "anticache", type: "bool", default: false, value: true, help: "help text"},
    {name: "intercept", type: "str", default: null, value: null, help: "help text"},
    ....
]

Helpful pointers:

• mitmdump --options implementation: https://github.com/mitmproxy/mitmproxy/blob/f4567bc9c879d3b3b87196bbf9243a4c894bd5ed/mitmproxy/optmanager.py#L390
• List of options: https://github.com/mitmproxy/mitmproxy/blob/f4567bc9c879d3b3b87196bbf9243a4c894bd5ed/mitmproxy/options.py#L45
• GET /settings: https://github.com/mitmproxy/mitmproxy/blob/f4567bc9c879d3b3b87196bbf9243a4c894bd5ed/mitmproxy/tools/web/app.py#L406