The gzip file format

Add a description of The gzip file format