update to leaflet 0.72, host everything locally, some minor tweaks