root/dev-pypi: links for aiges-python