3.14: patch webkit to install gir properly

This lets us build gitg again, which was the only remaining module that
was broken in the WebKit transition.