Fixed UnicodeEncodeError of proofgraph.py