[CI] Wanted: build configuration without MPI

@ansgar Is it possible to get at least one build configuration that does not include MPI? That would uncover bugs like core/dune-common!372 (closed) sooner.

(The cmake variable to disable MPI would be -DCMAKE_DISABLE_FIND_PACKAGE_MPI=TRUE).