I have made the simplest possible video editor: drag files onto the window, and it'll either concatenate them into a single video, or batch convert them to a different format.
(Requires ffmpeg)
https://github.com/nakst/videdit