fix(tools/simple-bmc): clean up generated oasis files
feat(tools/simple-bmc): update Makefile
feat(tools/simple-bmc): add --pathgen, change type of forallT
chore(.gitignore): update
feat(tools/ODE_visualization): adapt to the new visualization format (json)
chore(.gitignore): update
feat(tools/simple-bmc): add bmc.sh
benchmark(hybrid_systems): update Makefiles
feat(dsolvers/util/scoped_env): add lookup method
fix(dsolvers/util/scoped_vec): fix operator<< (polarity)
feat(opensmt/parsers/smt2): add "integral", change forallT and define-ode
feat(opensmt/api/OpenSMTContext): update DefineODE, mkForallT, and mkIntegral
feat(opensmt/egraph): update for defineODE, mkForallT, and mkIntegral
benchmark(bing_example): add Bing's examples
fix(inv_check.ml): change formula

1. add invariant for mode
2. remove forallT
chore(tools/invariant-checking): clean up oasis-generated files, update Makefile & _oasis
fix(tools/invariant-checking): remove unnecessary files
feat(tools/invariant-checking): add 'not'
fix(tools/invariant-checking): bug fix
feat(tools/invariant-checking): add decls for original variables in ODEs