Just to complete your comment, the animation layer is done with torque.js:

https://github.com/cartodb/torque