Update install-EasyBuild-develop.sh

Take in account Kenneth's comments