Add shapefile export

Uses an external service to convert GeoJSON to a ZIP'd shapefile. The export is stored on S3, and we direct clients there if it is still considered fresh.

/cc @hampelm