Add optional movie recording using libav.

Uses x264/AAC/mp4 with settings corresponding to
'-preset slow -tune animation -crf 18 -pix_fmt yuv444p'
with ffmpeg/avconv.

Uses libav 0.8 to be compatible with Ubuntu 13.10 out of the box.
Hopefully a newer libav version will be included soon.