Remove commented-out parts of Document.webidl and HTMLDocument.webidl.
auto merge of #1729 : Ms2ger/servo/clear-document-idl, r=jdm

I don't see a good reason to keep those around for now