chore(tools/*): update .gitignore
feat(tools/icp_vis): remove icp_vis
feat(tools/run_exp): remove run_exp
feat(tools/drh): remove drh
benchmark(hybrid_systems/tunnel): add tunnel benchmark
refactor(tools): rename drh_infix_parser/lexer => drh_parser/lexer
fix(tools/parsing): make ginv optional in drh parsing
benchmark: update Makefile
fix(tools): add more compiler options to _oasis
feat(opensmt/smtsolvers/SMTConfig): add "--ode-cache" option
tools(dReach): add dReach script
benchmark(hybrid_systems): rename 2d_oscillator => oscillator
benchmarks: update Makefile
tools(ODE_visualization): update vis.coffee
fix(tools/dReach): put curly braces for the bash variables
src(opensmt/smtsolvers): add --ode-forward-only option
feat(src/dsolvers/nra_solver): use Enode::get_vars
feat(dsolvers/icp_solver): support new ODE encoding, implement ode-cache
feat(dsolver/ode_solver): support new ODE encoding
chore(dsolvers/nra_solver.cpp): fix comments