docs: Override the gtk-doc SERVER variable.

We now have our own custom-written gtkdoc/*-docs.xml files, based on
the generated ones. valadoc/gtkdoc will then not regenerate them.
This makes the build more complicated because we cannot just delete
all of the gtkdoc directory. So I avoided the copy/paste by using
a .am fragment file.