Add shape rendering for GeoJSON polygons with holes
Fix height of geojson buildings
Calculate height from floors if available
Update navigation and buildings.geojson,