Command line program to generate video proxies faster for Blender's Video Sequence Editor, using ffmpeg