genmc/build,api: Move wrappers around GenMC API to single file

GenMC has a single API that was handled in a collection of different
files. This commit collects all API wrappers to Exploration.cpp.

(The Setup.cpp file remains intact as it contains setting translation
and setup functions.)

Author: michaliskok

src/tools/miri/genmc-sys/build.rs

@@ -178,14 +178,8 @@ fn compile_cpp_dependencies(genmc_path: &Path, always_configure: bool) {
     // These are all the C++ files we need to compile, which needs to be updated if more C++ files are added to Miri.
     // We use absolute paths since relative paths can confuse IDEs when attempting to go-to-source on a path in a compiler error.
     let cpp_files_base_path = Path::new("cpp/src/");
-    let cpp_files = [
-        "MiriInterface/EventHandling.cpp",
-        "MiriInterface/Exploration.cpp",
-        "MiriInterface/Mutex.cpp",
-        "MiriInterface/Setup.cpp",
-        "MiriInterface/ThreadManagement.cpp",
-    ]
-    .map(|file| std::path::absolute(cpp_files_base_path.join(file)).unwrap());
+    let cpp_files = ["MiriInterface/Exploration.cpp", "MiriInterface/Setup.cpp"]
+        .map(|file| std::path::absolute(cpp_files_base_path.join(file)).unwrap());
 
     let mut bridge = cxx_build::bridge("src/lib.rs");
     // FIXME(genmc,cmake): Remove once the GenMC debug setting is available in the config.h file.