Implementing transitive reduction in the dependency graph printing
mechanism of coqdep.