turn a bunch of png files into a movie -- uses ffmpeg