doc(README.md): use self-hosted icon for cdash

[skip ci]
chore(travis): reduce timeout; merge cov build
fix(realpaver/rp_lexer.h): increase RP_LEXER_TOKLEN to 100
chore(cmake): assign labels to testcases
chore(travis): only run testcases labeled with "normal" on travis
doc(README.md): use svg badges

[skip ci]
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]