option to generate precompressed gzip files for nginx