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