Added `git pr` alias for easy Github pull request administration

Originally contributes by @s1monw in private e-mail exchange :)