Adding HTML5 video backgrounds to websites