michaelg/dev: links for kani-ext-vllm

root/pypi kani_ext_vllm-0.0.8.tar.gz
root/pypi kani_ext_vllm-0.0.8-py3-none-any.whl