Switch from flash to HTML5 player to provide videos on mobile devices as well