Merge branch '194_contrib_ictce_5.3.0_easyconfigs' of github.com:fgeorgatos/easybuild-easyconfigs into 194_contrib_ictce_5.3.0_easyconfigs
