Tool for drawing coq project dependency graph?

@anton-trunov note that this coqdep feature has just been removed in the master branch.