Switch to Leaflet 0.7.2.

Also turn off the JS that raises popups when you mouse over a
location. TODO.