Radically unbloated DEFLATE/zlib/gzip decompression library