Update Ubuntu version for Ur/Web (#9463)

* Baseline Ur/Web configuration now works building the Ur/Web compiler and runtime from source

* Update Ur/Web MySQL baseline

* Get current version of Ur/Web cached queries unbroken (and tag myself as maintainer)

* For Ur/Web caching tests, switch to building Ur/Web from source

* Update Ubuntu version for Ur/Web

* Change Ur/Web's Ubuntu version to latest LTS

frameworks/Ur/urweb/README.md

@@ -19,5 +19,3 @@ To compile a standalone executable running on port 8080, run `urweb bench`.  See
 `bench.ur` is the main source file.  `bench.urs` is the signature file describing the module's exported functions.  `bench.urp` is the project file giving compilation directives.
 
 `benchmark_config.json` includes metadata for the framework comparison.
-
-`__init__.py` and `setup.py` are for starting and stopping the Ur/Web server.  `setup_mysql.py` is a variant using MySQL instead of PostgreSQL.

frameworks/Ur/urweb/urweb-cache.dockerfile

@@ -1,4 +1,4 @@
-FROM ubuntu:23.10
+FROM ubuntu:24.04
 
 ADD ./ /urweb
 WORKDIR /urweb

frameworks/Ur/urweb/urweb-mysql-cache.dockerfile

@@ -1,4 +1,4 @@
-FROM ubuntu:23.10
+FROM ubuntu:24.04
 
 ADD ./ /urweb
 WORKDIR /urweb

frameworks/Ur/urweb/urweb-mysql.dockerfile

@@ -1,4 +1,4 @@
-FROM ubuntu:23.10
+FROM ubuntu:24.04
 
 ADD ./ /urweb
 WORKDIR /urweb

frameworks/Ur/urweb/urweb.dockerfile

@@ -1,4 +1,4 @@
-FROM ubuntu:23.10
+FROM ubuntu:24.04
 
 ADD ./ /urweb
 WORKDIR /urweb