Merge pull request #1010 from Armael/upgrade-why3

upgrade why3 and cleanup the session for the red_black_tree test

creusot-deps.opam

@@ -4,8 +4,8 @@ opam-version: "2.0"
 maintainer: "Armaël Guéneau <armael.gueneau@inria.fr>"
 authors: "the creusot authors"
 depends: [
-  "why3" {= "git-5d13"}
-  "why3-ide" {= "git-5d13" & !?in-creusot-ci}
+  "why3" {= "git-91b3"}
+  "why3-ide" {= "git-91b3" & !?in-creusot-ci}
 # optional dependencies of why3
   "ocamlgraph"
   "camlzip"
@@ -16,6 +16,6 @@ depends: [
 # When updating the hash and git-XXX below, don't forget to update them in the
 # depends: field above!
 pin-depends: [
-  [ "why3.git-5d13" "git+https://gitlab.inria.fr/why3/why3.git#5d13eab26ed" ]
-  [ "why3-ide.git-5d13" "git+https://gitlab.inria.fr/why3/why3.git#5d13eab26ed" ]
+  [ "why3.git-91b3" "git+https://gitlab.inria.fr/why3/why3.git#91b314fb2" ]
+  [ "why3-ide.git-91b3" "git+https://gitlab.inria.fr/why3/why3.git#91b314fb2" ]
 ]

creusot-setup/src/tools_versions_urls.rs

@@ -6,7 +6,7 @@
 // - update the SHA256 hash for each binary accordingly (use e.g. sha256sum to compute it)
 
 // tools without binary releases
-pub const WHY3_VERSION: &'static str = "1.7.1";
+pub const WHY3_VERSION: &'static str = "1.7.2";
 pub const ALTERGO_VERSION: &'static str = "2.5.3";
 // tools with binary releases
 pub const Z3_VERSION: &'static str = "4.12.4";