Added GzipFilter to Jetty, enabling dynamic gzipping of server output.