Bump the magic numbers for the 9.0.0 release.

Author: ppedrot

tools/configure/configure.ml

@@ -22,9 +22,9 @@ open CmdArgs.Prefs
 
 let (/) = Filename.concat
 
-let coq_version = "9.0+rc1"
-let vo_magic = 82099
-let is_a_released_version = false
+let coq_version = "9.0.0"
+let vo_magic = 90000
+let is_a_released_version = true
 
 (** Default OCaml binaries *)