[Terry N.] attempt adding USER root in order to run

sysctl -w kernel.perf_event_paranoid=-1 for Vampire/z3

docker/sigma-ci/Dockerfile

@@ -3,13 +3,11 @@ FROM tomcat:9.0.97-jdk21-temurin-jammy AS builder
 # Followed instructions from: https://github.com/vprover/vampire/wiki/Source-Build-for-Users
 # for buildling latest vampire w/ latest z3
 
-RUN apt update; \
-    apt-get install -y --no-install-recommends \
+RUN apt update && apt-get install -y --no-install-recommends \
             build-essential \
             cmake \
             git \
-            python3 \
-    ;\
+            python3 ;\
     wget 'http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.6/E.tgz' &&\
     tar xf E.tgz ;\
     cd E ;\

docker/sigmakee/Dockerfile

@@ -5,10 +5,16 @@ FROM $IMAGE_ACCOUNT/sigma-ci:latest AS builder
 # runtime image.
 FROM tomcat:9.0.97-jdk21-temurin-jammy AS runtime
 
-RUN apt update; \
-    apt-get install -y --no-install-recommends \
+# Switch to root user
+USER root
+
+RUN apt update && apt-get install -y --no-install-recommends \
+            sudo \
             graphviz
 
+# Set kernel parameter
+RUN sysctl -w kernel.perf_event_paranoid=-1
+
 COPY --from=builder \
     /usr/local/bin/e_ltb_runner /usr/local/bin/e_ltb_runner
 

docker/sumo-ci/Dockerfile

@@ -5,10 +5,16 @@ FROM $IMAGE_ACCOUNT/sigma-ci:latest AS builder
 # runtime image.
 FROM tomcat:9.0.97-jdk21-temurin-jammy AS runtime
 
-RUN apt update; \
-    apt-get install -y --no-install-recommends \
+# Switch to root user
+USER root
+
+RUN apt update && apt-get install -y --no-install-recommends \
+            sudo \
             graphviz
 
+# Set kernel parameter
+RUN sysctl -w kernel.perf_event_paranoid=-1
+
 COPY --from=builder \
     /usr/local/bin/e_ltb_runner /usr/local/bin/e_ltb_runner