Merge branch 'feature/no-mpi-option' into 'master'

ref:extensions/dune-codegen Useful for performance measuring with Intel SDE.

See merge request [extensions/dune-codegen!334]

  [extensions/dune-codegen!334]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/334