added installation of gtk-doc-tools