[GeoJSON] New, improved polygons

[Martin Daly]

> > Who's in the smoke-filled room now, eh?
> 
> Heh.  IRC doesn't require username/password or $$$ for 
> entry... just a willingness to accept somewhat lower productivity ;)

No problem really, I was most likely asleep at the time.  Just being
@rsey: it's traditional.  Does anyone want a #geojson group?

> I think that was my initial oversight.  Allan's final 
> corrected version looked something like:
> 
>    "geometry": {
>      "type": "Polygon",
>      "crs": "EPSG:4326",
>      "coordinates": 
> [[0.0,0.0],[1.0,0.0],[1.0,1.0],[0.0,1.0],[0.0,0.0]]
>      "holes": [
>        [[0.25,0.25],[0.75,0.25],[0.75,0.75],[0.25,0.75],[0.25,0.25]],
>        [[0.1,0.1],[0.1,0.2],[0.2,0.2],[0.1,0.1]]
>      ]
>    }

OK by me.

M