Uncomment line to save animation.

In order for the animation to work, I had to install mencoder AND
ffmpeg, but I think that was the ffmpeg that made it work.