Add a getter and a setter of document.title according to HTML spec.