Update docker image from Ubuntu/Jammy 22.04 to Ubuntu/Noble 24.04 (#1678)

One change here is that we no longer need to create a new user with
GID=1000.
The ubuntu base image now contains a non-root called ubuntu with
UID=1000
and GID=1000. Hopefully the fact that the username changes from
`emscripten`
to `ubuntu` will not cause any issues.

Fixes: #1677, #1430

docker/Dockerfile

diff --git a/docker/Dockerfile b/docker/Dockerfile
index cd63290..8df4929 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:jammy AS stage_build
+FROM ubuntu:noble AS stage_build
 
 ARG EMSCRIPTEN_VERSION=tot
 ENV EMSDK=/emsdk
@@ -54,7 +54,7 @@
 # -------------------------------- STAGE DEPLOY --------------------------------
 # ------------------------------------------------------------------------------
 
-FROM ubuntu:jammy AS stage_deploy
+FROM ubuntu:noble AS stage_deploy
 
 COPY --from=stage_build /emsdk /emsdk
 
@@ -66,19 +66,6 @@
 ENV PATH="/emsdk:/emsdk/upstream/emscripten:/emsdk/node/22.16.0_64bit/bin:${PATH}"
 
 # ------------------------------------------------------------------------------
-# Create a 'standard` 1000:1000 user
-# Thanks to that this image can be executed as non-root user and created files
-# will not require root access level on host machine Please note that this
-# solution even if widely spread (i.e. Node.js uses it) is far from perfect as
-# user 1000:1000 might not exist on host machine, and in this case running any
-# docker image will cause other random problems (mostly due `$HOME` pointing to
-# `/`)
-RUN echo "## Create emscripten user (1000:1000)" \
-    && groupadd --gid 1000 emscripten \
-    && useradd --uid 1000 --gid emscripten --shell /bin/bash --create-home emscripten \
-    && echo "## Done"
-
-# ------------------------------------------------------------------------------
 
 RUN echo "## Update and install packages" \
     && apt-get -qq -y update \