tracking mode for servlets
Our geoserver workspace
Only generate small files on dry runs
Config as artifacts
Merge branch 'master' into more-deployment-fixes
Fix prior commit
exclude servlet api from wars as per spec
Add more substitution keys to geosever config
Deployment helper scripts
Speed up data collation
Make deployment script get an initial clone of the git repo. A temp solution.
Let travis push tagged artifacts to github releases
Remove redundant text files for database import
Merge pull request #118 from SEEG-Oxford/more-deployment-fixes

Deployment support