A very simple HTML5 video player that degrades to Flash if necessary