A simple gzip decompressor