update to leaflet 0.7.2 + compatibility with new marinetraffic API for popups