temporary change to simulator.cpp for testing; adding several spec files and robot abstraction BDDs in examples folder
Updated some examples.