Use shared runners instead of specific runner

.gitlab-ci.yml

@@ -9,9 +9,9 @@
 build_docker:
   stage: deploy
   tags:
-    # - ci.inria.fr
-    # - large
-    - myrunner
+    - ci.inria.fr
+    - large
+    # - myrunner
   image: ubuntu:20.04
   script:
     - apt update; apt install -y python3 python3-pip mercurial git ca-certificates curl gnupg lsb-release