Add granular `add_label_to_issue` / `remove_label_from_issue` tools

pkg/github/issues_granular.go から始め、提案されているツールを既存の add_sub_issue と remove_sub_issue のパターンと比較します。列挙されている REST エンドポイントを使って 1 つのラベルを追加および削除し、その後、各操作が Issue の他のラベルを保持し、1 つの Issue と 1 つのラベルを処理することを確認します。

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.