writing gzip is not reproducible

[johnynek]

if a user gives an output file named .gz we will use java's gzip support to write the file. However, doing that adds a timestamp into the file, which makes two things written the same have a different hash.

This may cause cache-busting downstream when nothing else has changed if the outputs of any gzipped files wind up as inputs in the build.