Add a sleep after starting geoserver in jenkins-geonode-dev.sh