made vlc default player for streaming (firefox only), simplified some redundant code