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:

a := getMatchingAlgorithm();
(a,b) := getAvailableMatchingAlgorithms();
a := getIndexReductionMethod();
(a,b) := getAvailableIndexReductionMethods();