utility script to set GEOSERVER_DATA_DIR in web.xml