GeoJSON edit UI

Add a UI to create, edit, and delete points & polygons. No server-side storage. Instead, simply provide a text box with GeoJSON to copy & paste.

Polygon points should snap to each other.