sbsa/cu130: links for karel-for-synthesis

root/pypi karel-for-synthesis-1.4.0.tar.gz
root/pypi karel-for-synthesis-1.3.0.tar.gz
root/pypi karel-for-synthesis-1.2.0.tar.gz
root/pypi karel-for-synthesis-1.1.0.tar.gz
root/pypi karel-for-synthesis-1.0.0.tar.gz
root/pypi karel-for-synthesis-0.1.0.tar.gz