Ha mindenáron Te akarod csinálni, akkor én a helyedben bármilyen proggival kigenerálnám a képkockákat PNG-ben, majd mencoder-el vagy ffmpeg-el összefűzném videóba.
Előnye, hogy bármilyen, általad már ismert programot használhatsz a képkockák előállítására (akár még programozottan is csinálhatod mondjuk SDL-el vagy PyPNG), és a tetszőleges felbontás sem probléma (de a videóra konvertálásnál átméretezés is megadható akár).
http://www.mplayerhq.hu/DOCS/HTML/en/menc-feat-enc-images.html
Mivel hang úgysem kell, akár még az ImageMagick is működhet erre a feladatra: convert *.png outputfile.avi
Ha mindenképp videószerkesztő proggit keresel, akkor talán a FOSS OpenShot vagy ShotCut.