feat: add DeleteFile tool to delete files from GitHub repositories (github#356)

Co-authored-by: Claude <noreply@anthropic.com>
Co-authored-by: William Martin <williammartin@github.com>

Author: 3 people