Add the HTML benchmark to the WebODF redistrib zip