Jump version to 1.25

Src-commit: 1174c3364d0d3ec61f21ac80fdf5116172d7acb8

Author: jfmc

builder/Manifest/Manifest.pl

@@ -1,5 +1,5 @@
 :- bundle(builder).
-version('1.24.0'). % (same as 'core')
+version('1.25.0'). % (same as 'core')
 depends([core]).
 alias_paths([ciaobld = 'src']).
 %

ciao-boot.sh

@@ -40,8 +40,8 @@ fi
 
 release_query_info() {
     case "$v__release" in
-        stable) tag=v1.24.0-m1 ;;
-        beta)   tag=v1.24.0-m1 ;;
+        stable) tag=v1.25.0-m1 ;;
+        beta)   tag=v1.25.0-m1 ;;
         latest) tag=master ;;
     esac
     # Set other defaults based on release

core/Manifest/GlobalVersion

@@ -1 +1 @@
-1.24
+1.25