Updates for 2025-Feb-01 (#668)

* Move optional steps for testing VMs out of README.md file
This may help avoid new users being confused that they must follow
those instructions.

Signed-off-by: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>

* Updates to source code versions for 2025-Jan-30
for testing, in preparation for 2025-Feb-01 versions.

Signed-off-by: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>

* Update source repo versions to latest as of 2025-Feb-01

Signed-off-by: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>

---------

Signed-off-by: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>

Author: jafingerhut

vm-ubuntu-24.04/install.sh

@@ -27,11 +27,12 @@ print_usage() {
     1>&2 echo ""
     1>&2 echo "Dates supported:"
     1>&2 echo "    2025-Jan-01"
+    1>&2 echo "    2025-Feb-01"
 }
 
 if [ $# -eq 0 ]
 then
-    VERSION="2025-Jan-01"
+    VERSION="2025-Feb-01"
     echo "No version specified.  Defaulting to ${VERSION}"
 elif [ $# -eq 1 ]
 then
@@ -43,12 +44,17 @@ fi
 
 case ${VERSION} in
     2025-Jan-01)
-	# 2025-Jan-01 versions:
 	export INSTALL_BEHAVIORAL_MODEL_SOURCE_VERSION="7ca39eda3529347e4ba66f1976351b0087294bf8"
 	export INSTALL_PI_SOURCE_VERSION="2bb40f7ab800b91b26f3aed174bbbfc739a37ffa"
 	export INSTALL_P4C_SOURCE_VERSION="1dc0afae2207f4bb9f5ab45f105ed569cc1ac89b"
 	export INSTALL_PTF_SOURCE_VERSION="c554f83685186be4cfa9387eb5d6d700d2bbd7c0"
 	;;
+    2025-Feb-01)
+	export INSTALL_BEHAVIORAL_MODEL_SOURCE_VERSION="892c42198082d3252f4c6facc7363c02ca1d71d2"
+	export INSTALL_PI_SOURCE_VERSION="c3abb96d61f91e4f641aecd7ba2e784870c35290"
+	export INSTALL_P4C_SOURCE_VERSION="2776b1948529bc7e8ccfb2f6ea2a9c1ab1f68796"
+	export INSTALL_PTF_SOURCE_VERSION="c554f83685186be4cfa9387eb5d6d700d2bbd7c0"
+	;;
     latest)
 	echo "Using the latest version of all p4lang repository source code."
 	;;