A simple HTML boilerplate for Leaflet web mapping