Create a movie from a sequence of images in Python (uses PIL and ffmpeg)