Existe algum software Linux (editor de vídeo?) que possa fazer dublagem (mesclar áudio traduzido com vídeo)?