W3C and the WHATWG sign agreement to collaborate on single version of HTML, DOM