new script to make zipped GeoJSON