feat(tools/DSL): add headers, treat "dt" as a macro
fix(tools/DSL): remove Assign1
fix(tools/DSL): remove & in argument
fix(tools/DSL): remove oasis generated file
feat(tools/DSL): add CIL dependency
feat(tools/DSL): reimplement emit_* functions using CIL
fix(tools/DSL): remove debug msgs
benchmarks(microfluidics): add microfluidics benchmakrs
fix(tools/DSL): clean up code
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