Updates to geoserver-ext jenkins job

This will copy the new data.zip into place on the server (see https://github.com/GeoNode/geoserver-geonode-ext/pull/6) and fixes a small bug in determining the git revision.