benchmark(hybrid_systems): use simple-bmc scripts instead of old bmc
benchmark(bing_example): update Makefile to use simple-bmc, update result.org
fix(tools/simple-bmc): fix drh parser
fix(tools/invariant-checking): add sqrt to parser
fix(tools): fix drh parser for bmc and invariant checker

In the previous parser, "sin (x) * cos (y)" is parsed into a structure
"sin (x * cos (y))". This one fixes the problem.
feat(tools/invariant-checking): add inv.sh script
benchmarks(hybrid_systems/quad): add quadcopter models
feat(opensmt/smtsolvers/SMTConfig): add --ode-timeout option
benchmark(*): use simple-bmc in Makefiles
benchmarks(hybrid_systems/cav): add extra benchmarks for CAV'14
chore(tools/ODE_visualization): update .gitignore
fix(tools): remove old build files
fix(tools/basic): move invariant checking type to basic
fix(tools): use oasis for multi-exe works.
fix(tools/basic/type.ml): merge changes from simple-bmc
fix(tools): remove duplicate type from simple-bmc
fix(tools): remove duplicate file, extract parsing module

1. remove duplicate file
2. extract parsing code into a module
fix(tools): remove more duplicates
fix(tools): update _oasis file
feat(tools/basic): some simple checker