Merge branch 'master' of gitlab.inria.fr:qdufour/donar

scripts/run-3

@@ -62,6 +62,9 @@ for i in $(seq 0 $(expr $instances - 1)); do
     --rm \
     -d \
     --name "donarxp_server_${i}" \
+    --privileged \
+    --cap-add=SYS_PTRACE \
+    --security-opt seccomp=unconfined \
     -e HOME='/tmp' \
     -v `pwd`/out:/home/donar/out \
     registry.gitlab.inria.fr/qdufour/donar \
@@ -70,6 +73,9 @@ for i in $(seq 0 $(expr $instances - 1)); do
   docker run \
     --rm \
     -d \
+    --privileged \
+    --cap-add=SYS_PTRACE \
+    --security-opt seccomp=unconfined \
     --name "donarxp_client_${i}" \
     -e HOME='/tmp' \
     -v `pwd`/out:/home/donar/out \