Build against either webkit2gtk-3.0 or webkit2gtk-4.0

The API changes were minor and none affected devhelp.

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