Add PR URL and repository name to GithubViewPRTool response

[codegen-sh]

This PR addresses the issue where the GithubViewPRTool doesn't include the PR URL and repository name in its response.

Changes

• Added pr_url and repo_name fields to the ViewPRObservation class
• Updated the view_pr function to extract and include these values in the observation
• Updated the string template to include the new fields

This will help users quickly identify which repository a PR belongs to and provide a direct link to the PR, improving the user experience when working with PRs across multiple repositories.

Fixes the issue where the agent was looking at the wrong repository when analyzing PRs.

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

---

codegen-bot seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}