Raw verification options

[mtygesen]

• Added ability to write raw verification options to the engines in "Edit Query"

[srba]

For all engines, if you click the checkbox on "Use" please, populate the text field with -x 1 (otherwise the verification fails).

Also, remember the string with verification options also after closing the dialog (so that next time I open it, it shows the same string as previously edited). And remember also that it was selected, so that next time you open it it is selected again.

When used with verifydtapn engine (e.g. in intro-example), disable also the approximation options (and swap the placement of verification options and approximation options).

[srba]

Please, enable the help on options to be open and at the same time allow to edit the raw options text field (like it is done in batch processing).

[srba]

All works but if you in the query dialog enter manual query edit and parse it immediately (while having enabled "Use" box), after the parsing the query dialog it shows "Use" still enabled plus some other enabled options that should be grayed out.

[srba]

One small issues: the Verification option dialog should be only enabled for verifypn, verifydtapn and verifytapn engine but not for UPPAAL translations (there are several variants). If you open e.g. alternating bit protocol then in the query, you can select UPPAAL translations and if use click on "Use" and e.g. verification options, you get an error. If UPPAAL translation is selected in the dropdown menu then it should not be possible to tick off the box "Use".

[srba]

Works fine, so we will merge it now.