5 Möglichkeiten, Videos unter Linux zuzuschneiden