Add more information to pull request view

This adds if the PR is mergeable.  If it was merged it adds who merged
it, what time, and the merge commit.