GeoJSONの座標精度を粗くする

GeoJSON内のすべての座標を指定小数桁数に丸めます。位置情報の匿名化を保証しません。 ファイルは外部へ送信せず、この端末のブラウザ内で処理します。元ファイルはそのまま保持してください。