(TK-75) Make Gzip encoding configurable for the Jetty webserver

This commit adds an option to the webserver configuration,
`gzip-enable`, which can be used to control whether or not the webserver
would attempt to compress the response body using Gzip encoding.