Converted route_paths.json to a GeoJSON file.

The benefits are that the data can now be used by GeoJSON-aware tools, while GitHub will render the GeoJSON as a slippy map when browsing the repository online.