Serve gzipped files from S3

Fixes gh-16.