Merge branch 'python-craygnu-cscs' of github.com:gppezzi/easybuild-easyconfigs into python-craygnu-cscs