More universial printing of SHA1

Author: msoos

src/main.cpp

@@ -1360,7 +1360,7 @@ void Main::ban_found_solution() {
 
 void Main::printVersionInfo()
 {
-    cout << "c " << "CMS SHA revision " << solver->get_version_sha1() << endl;
+    cout << "c " << "CMS SHA1: " << solver->get_version_sha1() << endl;
     cout << "c " << "CryptoMiniSat version " << solver->get_version() << endl;
     cout << "c " << "CMS compilation env " << solver->get_compilation_env();
     cout << "c " << solver->get_thanks_info("c ") << endl;