There's ffmpeg, you can do the editing from the commandline (I have done it that way :) )