Merge branch 'contrib_ictce_5.3.0_missing_ECs_l-o' of github.com:fgeorgatos/easybuild-easyconfigs into contrib_ictce_5.3.0_missing