Use yelp-tools instead of gnome-doc-utils

Fixes bug #687563
Keep "ghelp" URIs for launching locally (see bug #706223)