Remove no-op implementations from Document and HTMLDocument.
auto merge of #1102 : Ms2ger/servo/dead-document-code, r=jdm

I don't think it's useful to keep those lying around, in particular because we should never even implement some of those (`mozHidden`, `mozVisibilityState`, …)