fix(c): add leakage data on flint-1 (#42)

* refactor: flint-1

* fix: add missing file

* feat: setup build environment

* perf: build faster

* fix: add leakage information of flint 1

C/flint-1/metadata.json

@@ -8,5 +8,17 @@
     "buildCommand": "make -j`nproc`",
     "testCommand": null,
 
-    "categories": ["safety", "resource-leak"]
+    "categories": ["safety", "resource-leak"],
+
+    "leak": {
+        "kind": "flint_object",
+        "source": {
+            "file": "src/fmpz_mpoly_factor/sort.c",
+            "line": 61
+        },
+        "sink": {
+            "file": "src/fmpz_mpoly_factor/sort.c",
+            "line": 71
+        }
+    }
 }