4 of the Best Video-Editing Software for Linux