Use new mirror of duneci images and add ubuntu 18.04

.gitlab-ci.yml

@@ -5,24 +5,33 @@ before_script:
   - duneci-install-module https://gitlab.dune-project.org/core/dune-grid.git
 
 debian:10  gcc:c++17:
-  image: duneci/base:10
+  image: duneci/debian:10
   script: duneci-standard-test
   variables: {DUNECI_OPTS: /duneci/opts.gcc.c++17}
 
 debian:9--gcc:
-  image: duneci/base:9
+  image: duneci/debian:9
   script: duneci-standard-test
 
 debian:9--clang:
-  image: duneci/base:9
+  image: duneci/debian:9
   script: duneci-standard-test
   variables: {DUNECI_OPTS: /duneci/opts.clang}
 
 ubuntu:16.04--gcc:
-  image: duneci/base:16.04
+  image: duneci/ubuntu:16.04
   script: duneci-standard-test
 
 ubuntu:16.04--clang:
-  image: duneci/base:16.04
+  image: duneci/ubuntu:16.04
   script: duneci-standard-test
   variables: {DUNECI_OPTS: /duneci/opts.clang}
+
+ubuntu:18.04--gcc:
+  image: duneci/ubuntu:18.04
+  script: duneci-standard-test
+
+ubuntu:18.04--clang:
+  image: duneci/ubuntu:18.04
+  script: duneci-standard-test
+  variables: {DUNECI_OPTS: /duneci/opts.clang}
\ No newline at end of file