Setting a better compressor for animation exporting

The VTK-default "MSVC" codec is old and has poor compression ratios.
Some research seems to indicate that "MP43" is supported on XP and is
at least half decent[1].

[1]http://www.moviecodec.com/solutions/mpg4-mp42-mp43-microsoft-mpeg-4-versions-1-2-and-3-5098/

Change-Id: I301f2723fac53036a9ecbabbcc6f823a5fcff5f3
Prefer FFmpeg's AVI compressor to Windows'

Change-Id: I1ba100fafdc46609849fc3b6d1fa1ee142f0fda4
Merge topic 'animation-movie-compressor-support' into next

52089a94 Prefer FFmpeg's AVI compressor to Windows'
ca412eb4 Setting a better compressor for animation exporting