Map set files

A map set is a collection of GeoJSON files that describe a campus and contain all the geometric data needed to draw each map.

The GeoJSON files contain additional properties that get parsed to create buildings, floors, and spaces. For information about the GeoJSON standard, see http://geojson.org.