GeoJSON file optimizer

A simple tool for optimizing geojson files.