Rename Z3-Noodler base solver. (#195)

Co-authored-by: Martin Jonáš <[email protected]>

Author: martinjonas

submissions/z3-4.13.4.json renamed to submissions/z3-noodler-base.json

@@ -1,5 +1,5 @@
 {
-    "name": "Z3-4.13.4",
+    "name": "Z3-Noodler-base",
     "contributors": [
         "Nikolaj Bjørner et al."
     ],