Eu tenho usado o ffmpeg para fazer tudo até agora com um vídeo, juntando quadros de animação, adicionando áudio, sobrepondo imagens e adicionando legendas. Portanto, espero que a resposta à minha pergunta ainda esteja dentro do ffmpeg, mas estou aberto a usar outros programas, se necessário. Eu já...