Lightweight Leaflet animation framework