Renderman is an advanced renderer. Regarding the making of your avi file, I already answered this in your other post
. This post also explains what you need if you'd just take the time to read. Follow the link I gave in the other post to VideoMach as it will allow you to sequence your images into an avi or whatever and it's free. Other than that, any video editor like we said before....Premiere, Vegas, etc.
"Terminat Bora Diem, Terminal Auctor opus."