feat(tools/DSL): basic expression simplification for function call.

1. ignore merlin config file
2. basic logic for extract function call expression to temp variable.
tests(nra_ode): add aimhigh test
chore(tools): update .gitignore
tests(tools/DSL): add test_reduce_exp_2.drc
fix(tools/DSL): fix fold_left bug.
feat(src): create markup for theory literals to denote their precision
feat(src): move precision to theory atoms, not the literals
feat(src): integrate non-uniform delta with new completition test on delta, not epsilon
test(non_uniform_delta): add some more test instances
test(nra): bug fixes for test instances
feat(src): allow either delta or epsilon convergence tests and some new tests
feat(tools): added delta to dreach

still debugging seg fault in proof printing

Fixed bug in printing constraints with delta

Fixed bug in printing constraints with delta

fixed example for barn door

cleanup
feat(src): delta variable selection heuristic
test(non_uniform_delta): scalable barn door
feat(tools): added time precision to drh files
feat(non_uniform_delta): Barn Door experiments for memo

cleanup of plotting and testing scripts

cleanup testing files
feat(benchmarks): MOCHAP14 vehichle problem
midway commit, need to integrate soonho's fixes in rebase
fix(tools): fixup delta precision statements in dReach translation after rebase
fix(benchmarks): adjusted testing scripts for new dReal version

fix(benchmarks): adjusted testing scripts for new dReal version

fix(benchmarks): adjusted testing scripts for new dReal version

fix(benchmarks): adjusted testing scripts for new dReal version

fix(benchmarks): adjusted testing scripts for new dReal version