Editing video vlc media player