root/pypi: links for promela

root/pypi promela-0.0.4.tar.gz
root/pypi promela-0.0.3.tar.gz
root/pypi promela-0.0.2.tar.gz
root/pypi promela-0.0.1.tar.gz