A selection of documentaries on the art of film animation.