Allow customization of the web.xml file for purposes of disabling gzip.

Geoserver's own gzip buffers the entire request, so if we have something
like nginx or trafficserver in front, using those server's streaming
gzip support is preferable.