使用python编写的geojson简化工具,可简化到小数点后六位,具体使用方法见文件内的说明