Port from gnome-doc-utils to yelp-tools.

gnome-doc-utils is deprecated in favour of yelp-tools.