feat(opensmt/egraph/EgraphStore): subst x * x with x^2
fix(realpaver_rp_interval): (-oo, 0] * (-oo, oo) = (-oo, oo)
fix(realpaver/rp_operator_sat): memory leak
feat(realpaver/rp_operator): show constraint when debugging
fix(realpaver/rp_interval): display_simple outputs to stderr
tests(realpaver): add realpaver tests using Google Test
feat(util/scoped_vec): make scoped_vec template
refactor(dsolvers): remove icp/ode solvers
refactor(realpaver): remove delta-related code

For the simplicity, I removed them. Later, we can add them back.
fix(util/scoped_env): add insert method, cbegin/cend
feat(dsolvers/nra_solver): implement incremental ICP
tests(c_api): add CMakeLists.txt
tests(c_api): add example_01
feat(opensmt/api): set verbosity/debug flags
feat(dsolvers/nra_solver): add '--stat' option

shows number of incomplete/complete checks
refactor(opensmt/smtsolvers): remove --short_sat option for now

will be added later
feat(opensmt/api): change C API to get lb/ub when make variable
feat(opensmt/api/OpenSMTContext): expose set method for verbose/debug
tests(nra/tai): add tests
checkpoint