Implement llama-pull tool#16423

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

ericcurtin:llama-pullericcurtin/llama.cpp:llama-pullCopy head branch name to clipboard