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
`M.singleton` and `M.empty` :smile: