I fixed gzip in the server.

There was some jank I had to fix in Sun's HttpServer; also, I found a
bug in the GZIP generation in FileIndexContainer which I fixed.