Use Leaflet 0.7.2 in examples