Updated Gabow SCC
Added comments
Adapted few tests in quest-owlapi3 to the new DAG
Fixed semantic index and named dag bug, when vertexes are not in depth
first order
Fixed bug in DAG Builder with existential, still problem with the
example stock exchange unitest
Ready to merge