Natalie and Evelyn can supply additional Manticore arguments in a command-line format

[kokrui]

What

Currently, Binja plugin users are restricted to the options presented in the Run Dialogs. There should be an additional field where users who are more familiar with Manticore can choose to supply CLI arguments for greater control over Manticore execution.

This issue is chiefly for the muicore integration branch, but may also be relevant to the existing master implementation.

Acceptance Criteria - MUICore

• [ ] An additional text field in the respective Run Dialogs for Native / EVM analysis
• [ ] The cli-style additional arguments should be passed to the StartNative/StartEVM rpc services
• [ ] Docs: update README images to show and explain the new field

Acceptance Criteria - master

• [ ] An additional text field in the respective Run Dialogs for Native / EVM analysis
• [ ] The cli-style additional arguments should be appropriately parsed, likely directly through the argparsing code in Manticore or through a modified copy that will be included with the plugin
• [ ] Docs: update README images to show and explain the new field

[kokrui]

If this feature is to be implemented to Binja on master, the implementation should be pretty much identical to https://github.com/trailofbits/ManticoreUI/pull/66