Adds option to use HTML5 videos rather than flash