New version of video dumper. This one writes all frames to a single ppm file
and uses ffmpeg magic to process it into video.
Authored by: stivosaurus 2010-07-29
Parent: [r297]
Child: [r299]
