Video editor for vlc media player