GZIP requests and responses to rest-server
Correct typo in PROPERTY_WEB_PAGE_CONTENT_REGEX
jsgui: Gzip minified resources

Jetty will serve the minified versions to requests for the unminifed
versions
Merge pull request #1215 from sjcorbett/gzip-web-responses

GZIP web responses