RFR: 1912: Show priority for bugs in pull request body [v2]

[Zhao Song]

> The initial purpose of this issue is to show priority for bugs in the issue list in the pull request body. However, with current pr bot, if the user changes the type of the issue or the priority of the issue in the JBS, the changes will not be reflected in the PR body unless there is something could trigger the CheckWorkItem(like user edits the PR title and user issues some commands).
> 
> As Erik.J suggested, we could maintain a map(from JBS issue to the PRs related with this issue) in memory, so if the issue gets updated, we could know which pr needs to be updated.
> 
> To query updated issues and handle them, a new bot called `IssueBot` is introduced. This bot would query for updated issues(exclude CSR and JEP) in JBS, and it will read the in memory map to know whether there is any pr needs to be updated. If so, it will generate `CheckWorkItem` for that pr.
> 
> So currently, there are two ways to generate `CheckWorkItem`. Updated issues and updated pull requests. Previously, in the `CheckWorkItem`, we would check the metadata of the pull request and if the metadata is up to date, `jcheck` would not be triggered.  Now, we could check the metadata of the pull request and the issues related to this pr, but it would be too expensive because if only the pull request is updated, we also need to fetch all the issues from JBS to just generate the metadata. Therefore, in this patch, metadata is split to two parts, one part for pull request and one part for issues. If the `CheckWorkItem` is spawned from an updated pull request, we will only check pr metadata. On the other hand, if the `CheckWorkItem` is spawned from an updated issue, we will only check issues metadata.
> 
> Besides, since the map is in-memory, so if the bot restarts, the map needs to be initialized. When bot restarts, a `CheckWorkItem` would be generated for each pr, so the initialization is in `CheckWorkItem`.

Zhao Song has updated the pull request incrementally with seven additional commits since the last revision:

 - fix some problems
 - fix a problem
 - delete IssueWorkItem
 - change initializedPR to set
 - fix synchronization
 - print priority for all issues except CSR and JEP
 - introduce PRRecord

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

Changes:
  - all: https://git.openjdk.org/skara/pull/1523/files
  - new: https://git.openjdk.org/skara/pull/1523/files/03b5dd6e..bceec0e8

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=skara&pr=1523&range=01
 - incr: https://webrevs.openjdk.org/?repo=skara&pr=1523&range=00-01

  Stats: 296 lines in 14 files changed: 102 ins; 140 del; 54 mod
  Patch: https://git.openjdk.org/skara/pull/1523.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1523/head:pull/1523

PR: https://git.openjdk.org/skara/pull/1523