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

fix #8
fix(tools/bmc): add begin/end to handle nested pattern match