root/pypi: links for prover

root/pypi prover-0.1.0.tar.gz
root/pypi prover-0.1.0-py3-none-any.whl