yanzhuohao/pypi: links for acl2-bridge

yanzhuohao/pypi acl2_bridge-1.0.tar.gz
yanzhuohao/pypi acl2_bridge-1.0-py3-none-any.whl
yanzhuohao/pypi acl2_bridge-0.2.tar.gz
yanzhuohao/pypi acl2_bridge-0.1.tar.gz