Added some robotics examples including a strategy visualizer
Worked on the robot examples, also removed unneeded variable definition from the counter-strategy generation code
Merge remote-tracking branch 'origin' into incrementalSynthesis

Conflicts:
	src/Tool.pro