RFR: Add issue information to the PR summary

[Robin Westberg]

Hi all,

Please review this change that adds issue information to the PR summary, if it can be parsed from the PR title. It also tries to retrieve the title of the issue from the associated issue tracker.

Best regards,
Robin

----------------

Commits:
 - d7dceeed: Add issue information to the PR summary

Changes: https://git.openjdk.java.net/skara/pull/171/files
 Webrev: https://webrevs.openjdk.java.net/skara/171/webrev.00
  Stats: 160 lines in 12 files changed: 142 ins; 1 del; 17 mod
  Patch: https://git.openjdk.java.net/skara/pull/171.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/171/head:pull/171

PR: https://git.openjdk.java.net/skara/pull/171