Pass Arguments to Scheduler and Goal Plugins

[eyip002]

Allow the user to pass a configuration string into their chosen Scheduler and Goal plugins to control how the plugins execute. A configuration string could define:

• url to an external tool
• a preferred execution mode
• a preferred optimisation strategy or hint
• elements of a system model to target or to ignore

Each plugin defines its own string format and method of parsing the string, e.g.,

• Comma separated list (positional arguments): "arg1, arg2, arg3"
• Map of key-value pairs: "{key1: val1, key2: val1, key3: val3}"

---

• Add a text box next to the Scheduler dropdown
• Add a text box next to the Goal dropdown
• Extend the plugin interface with a configuration string