rationalize mpi config tuning
The tuning of mpi parameters is difficult to distinguish from regular configurations.
Eg, config.sh/mpi vs config.sh/openmpi.
I would propose that we unify this with a common prefix or suffix.
My current tendency is with a prefix, to have nicely sorted items. The prefix tune. looks nice to me, but prefs. is probably better since it bears resemblance to prefs.sh etc.
After the change, we could add in additional preference tuning for mpich, intelmpi etc. The optional files would then look like this:
- config.sh/prefs.mpich
- config.sh/prefs.openmpi
- config.sh/prefs.openmpi-system
- ...
This mostly affects @Prashant and perhaps @Pawan I would suspect.