Build against either webkit2gtk-3.0 or webkit2gtk-4.0

The API changes were minor and none affected gthumb.