Question: Python gzip: is there a way to decompress from a string?