Gzip support

Allow an option output.gzip which will write a companiion .gz file for each output file.  This is useful with nginx's `gzip_static` or other web servers with the same feature.