Merge branch 'mpi4py-run-for-mpi-cis' into 'master'

Add PY_EXTRA_FLAGS="-m mpi4py.run" to help avoid stuck MPI-based CIs

See merge request inducer/grudge!23

.gitlab-ci.yml

@@ -47,6 +47,10 @@ Python 3.6 POCL MPI:
   - export PYOPENCL_TEST=portable
   - export EXTRA_INSTALL="numpy mako mpi4py pymetis"
   - export PYTEST_ADDOPTS="-k mpi"
+
+  # https://mpi4py.readthedocs.io/en/stable/mpi4py.run.html
+  - export PY_EXTRA_FLAGS="-m mpi4py.run"
+
   - curl -L -O -k https://gitlab.tiker.net/inducer/ci-support/raw/master/build-and-test-py-project.sh
   - ". ./build-and-test-py-project.sh"
   tags: