Add missing friendly names for 7 tools#475

rajbos merged 3 commits intomainrajbos/github-copilot-token-usage:mainfrom

copilot/add-friendly-names-for-toolsrajbos/github-copilot-token-usage:copilot/add-friendly-names-for-toolsCopy head branch name to clipboard