Trying to convert GeoJSON coords

Added a converter that replaces coordinates in precincts.json with
coordinates from precincts-old.json, mapping using the precinct name.
Outputs results to precincts-fixed.json.