use tarfile to decompress .tar.gz archives