Add granular `add_label_to_issue` / `remove_label_from_issue` tools

从 pkg/github/issues_granular.go 开始，将提议的工具与现有的 add_sub_issue 和 remove_sub_issue 模式进行比较。使用列出的 REST endpoint 添加和移除一个 label，然后验证每个操作都保留 issue 的其他 label，并处理单个 issue 和 label。

Describe the feature or problem you'd like to solve

There is currently no way to remove a single label from an issue without replacing the issue's entire label set. The only issue-label tool, update_issue_labels (pkg/github/issues_granular.go), states in its own description: "This replaces the current labels with the provided list."

To remove one label, a client must:

1. Read all current labels on the issue
2. Compute the full set minus the one to remove
3. Send the complete remaining set back

If step 1 or 2 is incomplete or stale, labels are silently dropped. This read-modify-write pattern is error-prone for agents and adds round-trips.

Proposed solution

Add discrete, non-destructive tools backed by the existing REST endpoints:

• add_label_to_issue → POST /repos/{owner}/{repo}/issues/{issue_number}/labels
• remove_label_from_issue → DELETE /repos/{owner}/{repo}/issues/{issue_number}/labels/{name}

These operate on a single label without touching the rest of the issue's labels.

Precedent in the codebase

Sub-issues already follow exactly this granular pattern with add_sub_issue and remove_sub_issue, rather than forcing a full-set replacement. Labels-on-issues would benefit from the same treatment.

Additional context

Related to #2412 (bulk/batch label operations). This proposal is the single-issue, single-label complement: #2412 covers operating across many issues at once, while this covers safely adding/removing one label on one issue without clobbering the others.