Merge branch 'develop' of github.com:hpcugent/easybuild-easyconfigs into 204_fix_OpenMPI_configure_mpirun_prefix