Dependency graph titles

Now the dependency graphs are no longer titled `_anonymous_0`.

Also, link to proviola, because I think people will be interested in stepping through the proofs from looking at the files.