A tool for editing census data to geoJSON