Use podman instead of docker.

tools/ensure_infra_user_exists.sh

@@ -22,7 +22,7 @@ function is_user_conforming()
 
     find $THD -not -user $TUN | grep . && { echo >&2 "Files not owned by user $TUN in $THD" ; return 6 ; }
 
-    id -nGz $TUN | grep -qzxF "docker" || { echo >&2 "User not in docker group" ; return 7 ; }
+    # id -nGz $TUN | grep -qzxF "docker" || { echo >&2 "User not in docker group" ; return 7 ; } # not needed with podman
 
     echo "All correct"
     return 0
@@ -38,7 +38,7 @@ then
     fi
     adduser --$ADDUSER_OPT "Dedicated user for gourichon infrastructure" --disabled-password --home $THD --gecos "" $TUN
 
-    adduser $TUN docker
+    # adduser $TUN docker # not needed with podman
 
     mkdir -p $THD/.ssh
     chmod 700 $THD/.ssh