Use a custom version-extraction script for BtorMC

`btormc --version` requires receiving EOF to terminate.
Version: https://github.com/Boolector/boolector/tree/6603ed7b8d401f9bf387f32c702e3e938c50924d
See also: Boolector/boolector#225

benchexec/tools/btormc.py

@@ -5,6 +5,9 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 
+import logging
+import subprocess
+
 import benchexec.result as result
 import benchexec.tools.template
 
@@ -24,7 +27,19 @@ def project_url(self):
         return "https://github.com/Boolector/boolector"
 
     def version(self, executable):
-        return self._version_from_tool(executable, stdin="")
+        try:
+            process = subprocess.run(
+                [executable, "--version"],
+                stdout=subprocess.PIPE,
+                universal_newlines=True,
+                input="",
+            )
+        except OSError as e:
+            logging.warning(
+                "Cannot run %s to determine version: %s", executable, e.strerror
+            )
+            return ""
+        return process.stdout.strip()
 
     def cmdline(self, executable, options, task, rlimits):
         return [executable] + options + [task.single_input_file]