Python tools for manipulating GeoJSON files