Simplify geometry when compiling world.json

Retain only 20% of points. This is good enough for our use case of just
displaying the world map, and shrinks the resulting JSON size dramatically.