root/pypi: links for proofchecker

root/pypi proofchecker-0.0.3.tar.gz
root/pypi proofchecker-0.0.2.tar.gz
root/pypi proofchecker-0.0.1.tar.gz