Add missing why3 dependency for colibrics

colibrics.opam

@@ -18,6 +18,7 @@ depends: [
   "core" {>= "v0.14.1"}
   "jingoo"
   "logs"
+  "why3"
   "odoc" {with-doc}
 ]
 build: [

dune-project

@@ -27,6 +27,7 @@
     ("ocaml" (>= "4.08"))
     ("core" (>= "v0.14.1"))
     "jingoo" "logs"
+    "why3"
   )
 )
 
@@ -43,7 +44,7 @@
 
 
 (package (name colibri2)
-         (authors "François Bobot" "Guillaume Bury" "Stéphane Graham-Lengrand" "Bruno Marre")
+         (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand")
          (maintainers "François Bobot")
          (license LGPL-3.0-only)
          (synopsis "A CP solver for smtlib")