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();

Followed by OMEdit calling (before translation, optional if the flag did not change):

setMatchingAlgorithm(method);
setIndexReductionMethod(method);