Docker/Podman: add scripts for building Ubuntu24-based development image.

Author: kfriedberger

docker/buildUbuntu2404.sh

@@ -10,7 +10,7 @@
 
 podman build \
     --build-arg BUILD_DATE=$(date -u +"%Y-%m-%dT%H:%M:%SZ") \
-    -t registry.gitlab.com/sosy-lab/software/java-smt/develop:ubuntu2204 - < ubuntu2404.Dockerfile
+    -t registry.gitlab.com/sosy-lab/software/java-smt/develop:ubuntu2404 - < ubuntu2404.Dockerfile
 
 # For pushing to Gitlab registry, please create your personal access token:
 #   https://gitlab.com/-/user_settings/personal_access_tokens

docker/runUbuntu2404.sh

@@ -38,9 +38,8 @@ RUN  apt-get update \
 # GMP >6.3.0 is automatically downloaded and build within Bitwuzla.
 RUN apt-get update \
  && apt-get install -y \
-        ninja-build python3-pip \
+        ninja-build python3-pip meson \
  && apt-get clean
-RUN pip3 install --upgrade meson
 
 # OpenSMT requires swig, gmp, flex and bison
 # - swig v4.1 or newer for unique_ptr support