lndpriv/lndpriv: links for agda-kernel

root/pypi agda_kernel-0.3.tar.gz
root/pypi agda_kernel-0.2.tar.gz
root/pypi agda_kernel-0.2-py3-none-any.whl