feat(reviews): per-reviewer vote breakdown and travel yes rate on the leaderboard

[devin-ai-integration]

Summary

The admin review leaderboard only showed a total completed count per reviewer. It now also shows how each person is deciding.

GetLeaderboard adds more COUNT(ar.id) FILTER (...) aggregates to the existing query, exposed on store.ReviewerStats as raw counts (percentages are computed client-side):

Accepted, Rejected, Waitlisted int   // completed == accepted + rejected + waitlisted
TravelVotes, TravelYes         int   // travel_vote IS NOT NULL / travel_vote = true

Ranking is unchanged (still by completed).

UI: new columns Accepted / Rejected / Waitlisted (share of that reviewer's completed with the raw count beside it, 67% (8), colored to match VoteBadge) and Travel Yes (67% (4/6), or - when they have given no travel recommendations). Swagger regenerated; integration test now votes with mixed values and travel votes to cover each count.

Link to Devin session: https://app.devin.ai/sessions/e747c0ba90254f8abe73db464417cb55
Open in Devin Desktop: https://app.devin.ai/desktop/session/e747c0ba90254f8abe73db464417cb55?variant=devin
Requested by: @balebbae

[devin-ai-integration]

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

• Disable automatic comment, CI, and merge conflict monitoring