A python script for generating dependency graphs of proofs in mathematical texts