Merge branch 'develop' of github.com:hpcugent/easybuild-easyconfigs into contrib_BLAST_and_NCBI-Toolkit