Enable writing compressed output.

When writing data to a file instead of stdout, it should be possible to gzip it.