Fix references to GitHub pull requests
Fix references to GitHub pull requests

GitHub's autolinked references doesn't work in markdown files and
we have to manually add the links.

kern/minitest-reporters,kern/minitest-reporters