fix bug preventing display of color in simgui log
speed up loading of aut files
added examples for testing nao sensors
Merge branch 'development' of https://github.com/LTLMoP/LTLMoP into real_time_verification