Travis CI: gtk-doc-tools needs to be present even if unused