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
fix(tools): rename main files
fix(tools): remove oasis-generated files
fix(tools): update Makefile