Implement llama-pull tool#16132

ericcurtin wants to merge 1 commit intomasterggml-org/llama.cpp:masterfrom

llama-pullggml-org/llama.cpp:llama-pullCopy head branch name to clipboard