Removed the deprecated DomNotifier plugin

Also removes the deprecated `getDom` method.

Note that this PR pulls into crawljax-4.0