FFmpeg
From Game Making Tools Wiki
FFmpeg is an open-source, command-line tool for working with video. Common usage case is converting between video formats with a command like:
ffmpeg -i input.mp4 output.avi
But it iso also useful for video editing; cutting and glueing together different videos.
There are also GUI front-ends availible, if you prefer!