Gzip

Adds option to produce gzip compressed exports, as well as consume them.