extension for vlc player to see total playlist duration