fix incorrect comparison in check for trivial aut
give friendly error message when trying to simulate with no simconfig defined
fix import path in region2svg
fix bug preventing display of color in simgui log
speed up loading of aut files
Looks like I need to merge...
Merge branch 'development' of https://github.com/LTLMoP/LTLMoP into TwoDimensionalCostMinimization
.