root/pypi: links for pddl-prover

root/pypi PDDL-Prover-1.0.0.tar.gz
root/pypi PDDL_Prover-1.0.0-py3-none-any.whl