devhelp plugin: Support webkit2gtk-4.0

API changes between webkit2gtk-3.0 and webkit2gtk-4.0 were minor and we
can support both, depending on which one devhelp is built with.

https://bugzilla.gnome.org/show_bug.cgi?id=735251