added robot_abstract.bdd and unicycle_robot.txt and a robotabs changes to gr1context.hpp and main.cpp