jp4/cu102: links for karel

root/pypi karel-1.3.0.tar.gz
root/pypi karel-1.2.0.tar.gz
root/pypi karel-1.1.3.tar.gz
root/pypi karel-1.1.2.tar.gz
root/pypi karel-1.1.1.tar.gz
root/pypi karel-1.1.0.tar.gz
root/pypi karel-1.0.1.tar.gz