gzip: Programs for compressing and decompressing files.