A very basic HTML5 video player.