Merge videos — join clips in order

Put clips in order and join them into one video: a fast stream copy when they share a codec, an automatic re-encode when they don't. Runs on this device.