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
added new example for expeditions project
adding two customer.spec. going to change the region to the one built by Cam, Vasu and Spyros
change the spec for multiple orders and one customer now
created specification for two customer, two kinds of food and two kitchen
modified the spec with two customers and names it two_customer.spec
add configuration with Nao
changed naoSensor for the new format
Merge branch 'expeditions_project' of github.com:wongkaiweng/LTLMoP into expeditions_project
fixed order_c2 unsynthesizable