[restored issue] - Factorize scripts in tools/bench/plafrim
There are some scripts in ./tools/bench/plafrim/* that could be factorized if we explore the same parameter space on the different machines.
- see if the same parameter space can be used on bora, miriel, sirocco
- factorize *.xml and run.sh scripts
Warning: this issue has been restored from backup and can have been changed. For example, all comments have been lost.