HTML5 video player that degrades to Flash if necessary