update grid5000.sh
update grid5000.sh