js: Added separate leaflet JS files
js/leaflet: Reimplemented without jQuery

... based on L.DomUtils und L.DomEvents instead