Hack titles into existence (dependency graph)
Link to proviola rather than coqdoc pages
Better generation of titles

With some help from Ivan Lazar Miljenovic, the author of GraphViz.
Merge pull request #321 from JasonGross/dep-graph-titles

Dependency graph titles