Add linked PRs to Issues list

[jonalmeida]

On the Issues page (https://github.com/issues) you cansee created and assigned ones. It would be nice to also see the PRs that are linked to those if possible.

[mcomella]

This should be possible: we store a mapping from repo/issue-num -> PR num so we can re-use the same code (and UI code?) there.