bsakaguchi/pypi: links for acl2-bridge