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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information