move from OpenLayers.org library to lightweight LeafletJS.com