Add GUI boxes for dynamic state selection and index reduction

[Martin Sjölund]

By adding some new API calls, OMEdit will be able to display and change the DSS and index reduction algorithms before translation of a model:

method := getMatchingAlgorithm();
(flags,descriptions) := getAvailableMatchingAlgorithms();
method := getIndexReductionMethod();
(flags,descriptions) := getAvailableIndexReductionMethods();