RFR: 1806: Optimize the CSR progress message and log when CSR not found [v3]

[Zhao Song]

> A user reported that she have a PR which can't find its corresponding CSR. 
> Erik found that the issue was caused by the user not updating their branch in a long time, and the fixVersion in the .jcheck/conf file was still set at 20. However, the fixVersion of the CSR was 21, make the bot unable to locate the corresponding CSR. 
> 
> In this patch, I optimized the CSR progress message and log.

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

 - Update bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java
   
   Co-authored-by: Erik Joelsson <37597443+erikj79 at users.noreply.github.com>
 - Update bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java
   
   Co-authored-by: Erik Joelsson <37597443+erikj79 at users.noreply.github.com>
 - fix a problem

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

Changes:
  - all: https://git.openjdk.org/skara/pull/1463/files
  - new: https://git.openjdk.org/skara/pull/1463/files/aef642f2..bedcd3e3

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

  Stats: 7 lines in 1 file changed: 4 ins; 0 del; 3 mod
  Patch: https://git.openjdk.org/skara/pull/1463.diff
  Fetch: git fetch https://git.openjdk.org/skara pull/1463/head:pull/1463

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