I would think it was shot with video, edited to grab the crucial frames, and the "animation" was created therefrom. I did a similar thing for a website back in the dark ages before flash...