Fixing coqdep graph printing. The transitive reduction algorithm was bugged.