Add link to Trac ticket on GitHub PR description

When opening a PR on GitHub, add a link to the corresponding Trac ticket on the PR description.

It will make PR reviewers' job easier.

Trac:
Username: rex4539