gzip assets on S3 (fixes #778)