Layer groups in themes, and a map-layers panel in the builder

A theme can hide or reorder seven groups of layers: land, water, buildings, roads, boundaries, 3D buildings and labels. The builder gets a layers panel with an eye and up/down per group.

• 3D buildings compose a fill-extrusion layer from the tiles' height data when switched on