Add simple-bmc 0.0.1

A tool that translate Hybrid automata into SMT formula which is solvable by dReal(http://dreal.cs.cmu.edu/)