Fix web.xml for standalone server.
Merge branch 'master' of github.com:boundlessgeo/GeoGit
Fixed an issue which caused a deprecated log function to prevent the new version from working.