Making a video from a set of frames can be done with transcode as follows. Disclaimer: this is mainly a reminder to myself, based on these instructions for making animations from frames, with some extra's.
First make a file with the filenames of the individual frames (in the right order …