Add patches to bump ctypes

benchmark/patches/colibrics.diff

@@ -0,0 +1,15 @@
+diff --git a/dune-project b/dune-project
+index e22406b..d566734 100644
+--- a/dune-project
++++ b/dune-project
+@@ -1,8 +1,8 @@
+-(lang dune 3.0)
++(lang dune 3.7)
+
+ (cram enable)
+ (generate_opam_files true)
+-(using ctypes 0.1)
++(using ctypes 0.3)
+ ;(strict_package_deps true)
+
+ (source (uri "git+https://git.frama-c.com/pub/colibrics.git"))

benchmark/patches/ocaml-eris.diff

@@ -0,0 +1,17 @@
+diff --git a/dune-project b/dune-project
+index c4920c1..2e0a624 100644
+--- a/dune-project
++++ b/dune-project
+@@ -1,10 +1,10 @@
+-(lang dune 3.2)
++(lang dune 3.7)
+
+ ; SPDX-FileCopyrightText: 2022 pukkamustard <pukkamustard@posteo.net>
+ ;
+ ; SPDX-License-Identifier: CC0-1.0
+
+-(using ctypes 0.1)
++(using ctypes 0.3)
+
+ (name eris)
+

benchmark/patches/ocaml-flint.diff

@@ -0,0 +1,14 @@
+diff --git a/dune-project b/dune-project
+index 7f41a3d..e13acc5 100644
+--- a/dune-project
++++ b/dune-project
+@@ -1,7 +1,7 @@
+-(lang dune 3.2)
++(lang dune 3.7)
+
+ (generate_opam_files true)
+-(using ctypes 0.1)
++(using ctypes 0.3)
+
+ (maintainers "François Bobot")
+ (authors "François Bobot")

benchmark/patches/ocaml-monocypher.diff

@@ -0,0 +1,17 @@
+diff --git a/dune-project b/dune-project
+index 83754d0..60bca91 100644
+--- a/dune-project
++++ b/dune-project
+@@ -1,10 +1,10 @@
+-(lang dune 3.2)
++(lang dune 3.7)
+
+ ; SPDX-FileCopyrightText: 2022 pukkamustard <pukkamustard@posteo.net>
+ ;
+ ; SPDX-License-Identifier: CC0-1.0
+
+-(using ctypes 0.1)
++(using ctypes 0.3)
+ (generate_opam_files true)
+
+ (name monocypher)

benchmark/patches/tezos.diff

@@ -0,0 +1,14 @@
+diff --git a/dune-project b/dune-project
+index e01443e..be1f465 100644
+--- a/dune-project
++++ b/dune-project
+@@ -1,7 +1,7 @@
+-(lang dune 3.0)
++(lang dune 3.7)
+ (formatting (enabled_for ocaml))
+ (cram enable)
+-(using ctypes 0.1)
++(using ctypes 0.3)
+ (package (name internal-devtools))
+ (package (name octez-accuser-PtKathma))
+ (package (name octez-accuser-PtLimaPt))