Add a getter and a setter of document.title according to HTML spec.
fix errors occurred when rebasing