Auto-linked github pull requests when using PR1234.

This makes it so that typing "PR1234" will autolink to https://github.com/django/django/pull/1234.
This link seems to be outdated (redirect do https://github.com/django/ticketbot).