trend/dev: links for acl2-bridge

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