chore(travis): fix typo
chore(travis): remove travis_wait
chore(cmake): run no test with cov build
chore(travis): run ExperimentalTest before cov
fix(dsolver/ode_solver): add more log messages
feat(tools/codegen/code_bmc): add const fold.
fix(tools/codegen/code_bmc): add variable initialization.
fix(code_bmc.ml): add variable bound.
fix(code_bmc): allow specify time bound in code and option
fix(realpaver/rp_interval.cpp): add more debug info
fix(realpaver/rp_interval): add more log
fix(opensmt/smtsolvers/CoreSMTSolver): add prefix for logs
fix(realpaver/rp_projection): fix rp_project_sin_fst and rp_project_tan_fst

closes #36.
doc(README.md): use dreal/dreal for scan.coverity

[skip ci]
fix(code_bmc.ml): fix mode index in variable name