Implement merging a pull request and checking if it has been merged.

@jwiegley and @maxpow4h: I implemented a couple new functions for working with Pull Requests that were missing. Could you review the patch?

Cheers
césar
Formatting is off on this and `samples/Pulls/MergePull.hs`.