Merge branch 'feature/deprecate-old-metis-parmetis' into 'master' See merge request [!657] [!657]: Nonecore/dune-common/merge_requests/657