Some small changes to GitHub's pull request interface
This adds a small caret in the top left of diff containers on pull request pages. Clicking the caret either shows/hides the diff.
The branches listed in the header for comparison are linked to their respective branches.
