Simple video editing in Ubuntu