re-encoded all videos to play in HTML5 video tags, and added corresponding support to eureka