Update klee to new version

Author: ladisgin

server/src/KleeRunner.cpp

@@ -220,7 +220,6 @@ KleeRunner::createKleeParams(const tests::TestMethod &testMethod,
         "--utbot",
         "--posix-runtime",
         "--skip-not-lazy-initialized",
-        "--type-system=CXX",
         "--fp-runtime",
         "--only-output-states-covering-new",
         "--allocate-determ",
@@ -236,6 +235,7 @@ KleeRunner::createKleeParams(const tests::TestMethod &testMethod,
         "--output-dir=" + kleeOut.string()
     };
     if (Paths::isCXXFile(testMethod.sourceFilePath)) {
+        argvData.emplace_back("--type-system=CXX");
         argvData.emplace_back("--libcxx=true");
     }
     if (settingsContext.useDeterministicSearcher) {