Postgis, Geoserver y Leaflet