Add `duneci-standard-test` script

This should allow to decrease duplication in most `.gitlab-ci.yml` files.

base-16.04/Dockerfile

@@ -45,3 +45,4 @@ ENV PATH=/duneci/bin:$PATH
 COPY opts.clang opts.gcc /duneci/
 COPY duneci-ctest /duneci/bin/
 COPY duneci-install-module /duneci/bin/
+COPY duneci-standard-test /duneci/bin/

base-8/Dockerfile

@@ -45,3 +45,4 @@ ENV PATH=/duneci/bin:$PATH
 COPY opts.clang opts.gcc /duneci/
 COPY duneci-ctest /duneci/bin/
 COPY duneci-install-module /duneci/bin/
+COPY duneci-standard-test /duneci/bin/

base-9/Dockerfile

@@ -45,3 +45,4 @@ ENV PATH=/duneci/bin:$PATH
 COPY opts.clang opts.gcc /duneci/
 COPY duneci-ctest /duneci/bin/
 COPY duneci-install-module /duneci/bin/
+COPY duneci-standard-test /duneci/bin/

base-common/duneci-standard-test

+#! /bin/bash
+
+set -e
+set -u
+
+if [[ -n "${DUNECI_OPTS:-}" ]]; then
+  set -- --opts="${DUNECI_OPTS}" "${@}"
+fi
+
+set -x
+dunecontrol --current "${@}" all
+dunecontrol --current make build_tests
+cd build-cmake
+duneci-ctest