VLC player lua extensions, modules and playlists