Gzip a file — compress or decompress .gz

Gzip any file to make it smaller, or turn a .gz back into the file it holds, with the size before and after shown. It all runs on this device, never uploaded.