Takes proofs in Coq and outputs the theorem dependency graph, possibly in Twine