Use gzip compression for archives

It's probably worth it, since they contain only python scripts,
which are usually nicely compressible.
(Also, the mimetype detection doesn't work for .tar for some reason)