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
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
fix(realpaver/rp_interval.cpp): add more debug info