upgrade jetty; introduce gzip compression