Http InfoServers should honor gzip encoding when requested

Working on another project, I noticed that our InfoServer does not honor the Accept-Encoding HTTP header when present. It appears to be a relatively trivial matter to add the GzipHandler provided by Jetty. I'm not sure if there are other encodings we should support, but this is the only one I found available in Jetty itself (the other one by browser sent was "deflate").