brian/prod: links for tinyjs

root/pypi tinyjs-0.1.2.tar.gz
root/pypi tinyjs-0.1.2-py3-none-any.whl
root/pypi tinyjs-0.1.0.tar.gz
root/pypi tinyjs-0.1.0-py3-none-any.whl