[release] remove ~beta from VERSION

VERSION

-30.0~beta
+30.0

ivette/package.json

 {
   "name": "ivette",
   "productName": "Ivette",
-  "version": "29.0.0",
+  "version": "30.0.0",
   "repository": "git@git.frama-c.com:frama-c/Ivette.git",
   "author": "Loïc Correnson <loic.correnson@cea.fr>",
   "license": "LGPL-2.1",

opam

 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "30.0~beta"
+version: "30.0"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the

src/plugins/wp/Warning.mli

@@ -63,7 +63,7 @@ val handle : ?severe:bool -> fallback:string -> handler:('a -> 'b) -> ('a -> 'b)
     if a context has been set.
     Otherwise, a WP-fatal error is raised instead.
     Default for [severe] is false.
-    @before Frama-C+dev [fallback] was [effect]
+    @before 30.0-Zinc [fallback] was [effect]
 *)
 
 type 'a outcome =