Now we use ENABLE_GTK_DOC like other projects and have updated configure
according to the latest recommendations from the gtk-doc documentation.
Additionally, we only use ENABLE_GTK_DOC to disable building ontology
documentation because we use that before detection of the other tools we need
when building documentation (such as dia and graphviz).