Adding a -dumpgraph option to Coqdep that output the graph dependency of the
considered files.

Original patch by Guillaume Allais.