Python scripts can extract gzipped sitemaps