Revert "Merge branch 'feature/add_scotch_par_metis_flags' into 'master'"

This reverts merge request !78 (merged)

The flags added to the toolchain files are not needed anymore. This required core/dune-common!887 (merged)