[docker] remove user id

docker/Dockerfile-run

@@ -27,8 +27,8 @@ RUN cargo install tokei
 RUN opam repository set-url default "https://opam.ocaml.org" && \
     opam update
 
-# install Frama-C and Z3
-RUN opam install frama-c.26.1 z3
+# install Frama-C, Z3 and re
+RUN opam install frama-c.26.1 z3 re
 
 # set shell and PATH for opam
 SHELL ["/bin/bash", "-c"]

scripts/run-docker.sh

@@ -53,7 +53,7 @@ while true; do
 done
 
 # launch docker
-docker run -it --rm --user $(id -u):$(id -g)\
+docker run -it --rm \
        --name "lustrec_docker_run" \
        -v ${TMP_DIR}:/tmp -v ${PWD}:/home/opam/lustrec \
        ${CONTAINER_ID} $@