ffmpeg is an excellent tool. It's a complete video editor via the command line.