Remove YAML witness 0.1 format-version

Author: sim642

src/config/options.schema.json

@@ -2790,7 +2790,6 @@
               "description": "YAML witness format version",
               "type": "string",
               "enum": [
-                "0.1",
                 "2.0",
                 "2.1"
               ],

src/witness/yamlWitness.ml

@@ -46,8 +46,7 @@ struct
   let location ~location:(loc: Cil.location) ~(location_function): Location.t =
     let file_hash =
       match GobConfig.get_string "witness.yaml.format-version" with
-      | "0.1" -> Some (sha256_file loc.file)
-      | "2.0" -> None
+      | "2.0" -> None (* TODO: 2.1? *)
       | _ -> assert false
     in
     {

tests/regression/56-witness/70-apron-unassume-set-tokens.yml

@@ -1,6 +1,6 @@
 - entry_type: invariant_set
   metadata:
-    format_version: "0.1"
+    format_version: "2.0"
     uuid: 0a72f7b3-7826-4f68-bc7b-25425e95946e
     creation_time: 2022-07-26T09:11:03Z
     producer: