goblint.2.5.0: add goblint-cil.2.0.7 upper bound

Author: sim642

packages/goblint/goblint.2.5.0/opam

@@ -36,7 +36,7 @@ bug-reports: "https://github.com/goblint/analyzer/issues"
 depends: [
   "dune" {>= "3.7"}
   "ocaml" {>= "4.14"}
-  "goblint-cil" {>= "2.0.5"}
+  "goblint-cil" {>= "2.0.5" & < "2.0.7"}
   "batteries" {>= "3.5.1"}
   "zarith" {>= "1.10"}
   "yojson" {>= "2.0.0" & < "3"}