feat(dsolvers): add commit SHA1 in the help message

fix #8
fix(tools/bmc): add begin/end to handle nested pattern match
fix(tools): remove _tags files
fix(tools/proofchecker/checker): add TIME_PRECISION to parser
fix(dsolvers/icp_solver): remove 'var' in debug msg (it is a function)
refactor(tools/codegen): rename DSL to codegen
feat(tools/codegen/code_bmc): basic annotation for varibale.
feat(tools/codegen/code_bmc): basic translation from annotated code to
SMT formula.
fix(opensmt/parsers/smt2): memory leak
fix(realpaver/rp_expression_symbol.c): fix overflow

Since the arity is 1 and only ``left`` is allocated, write to ``right`
is not valild.
fix(realpaver/rp_box.c): uninitialized property.type
fix(realpaver/rp_parser): use dynamic allocation instead of static array

We had "invalid write/read" warnings from valgrind. This suppresses the
warnings but didn't really understand why..
doc(README.md): add coverity scan badge
fix(opensmt/smtsolvers/SMTConfig.c): assign initial value to nra_json (false)
fix(opensmt/smtsolvers/SMTConfig.c): assign initial value to nra_ODE_timeout (0.0)
chore: have bin/dReal in addition to bin/solver
fix(opensmt/smtsolvers/SimpSMTSolver.C): resource leak(file)
chore(dsolvers/icp_solver.cpp): fix indentation
fix(dsolvers/icp_solver.cpp): memory leak
benchmarks(quadcopter, auv): add new benchmarks