Improved pull request ticket information

* Added more ticket lookup patterns
* Added a link to how to create a pull request if no pull requests exist
* Added strikethrough on closed PRs
* Added PR state, merge status, and build status
* Ensured PR details are not displayed if rate_limit to GitHub API is exceeded
* Added some magic to detect manual merges
* Fixed minimum required requests to github