Video editing on the command line aka. what happens when you ask a programmer to edit your video