Scripts to convert shapefiles from gadm.org to geojson