build: add the dev-repo field to opam files

bddrand.opam

@@ -7,6 +7,7 @@ authors: [
   "Erwan Jahier" "Pascal Raymond"
 ]
 homepage: "http://www-verimag.imag.fr/"
+dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 depends: [
   "ocaml" {>= "4.05"}

ezdl.opam

@@ -2,12 +2,14 @@ opam-version: "2.0"
 synopsis: "Easy dynamic linking of C functions from ocaml"
 description: "Easy dynamic linking of C functions from ocaml"
 maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
+authors: "Pascal Raymond"
 authors: [
   "Pascal Raymond"
 ]
 license: "CECILL-2.1"
 tags: ["clib:stdc" "clib:camlidl"]
 homepage: "http://www-verimag.imag.fr/"
+dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 depends: [
   "ocaml" {>= "4.05"}

gbddml.opam

@@ -5,6 +5,7 @@ maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
 authors: "Pascal Raymond"
 license: "CECILL-2.1"
 homepage: "http://www-verimag.imag.fr/"
+dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 bug-reports:
   "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 depends: [

polka.opam

@@ -7,6 +7,7 @@ authors: [
 license: "LGPL-2.1-or-later"
 tags: ["clib:stdc" "clib:camlidl"]
 homepage: "http://www-verimag.imag.fr/Lutin.html"
+dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
 bug-reports: "http://www-verimag.imag.fr/Lutin.html"
 depends: [
   "ocaml" {>= "4.05"}