Very rudimentary automation tool for downloading GIS ZIPS from Miami Dade GIS self-service and converting to geoJSON.