Upgrade to Leaflet 0.7.2

Changelog: https://github.com/Leaflet/Leaflet/blob/v0.7.2/CHANGELOG.md

Lots of bug fixes and improvements!