gzip web distribution files for use by nginx's gzip_static