RFR: SKARA-758: Add /check pull request command [v2]

[Kartik Ohri]

> Hi!
> Kindly review the patch to allow manual execution of jcheck. I think it might be worthwhile to restrict this command to some specific people but I am not sure who that should be (maybe restricting to the author is enough but a reviewer might want to execute it as well in case its urgent). 
> 
> I wanted to test this locally by setting up the skara bots on my own repository but was unable to figure out how to do so due to lack of documentation.
> Thanks.
> Regards,
> Kartik

Kartik Ohri has updated the pull request incrementally with one additional commit since the last revision:

  Do not alter bot recheck schedule

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

Changes:
  - all: https://git.openjdk.java.net/skara/pull/954/files
  - new: https://git.openjdk.java.net/skara/pull/954/files/5f703c4f..edcd068d

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=skara&pr=954&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=skara&pr=954&range=00-01

  Stats: 21 lines in 1 file changed: 19 ins; 0 del; 2 mod
  Patch: https://git.openjdk.java.net/skara/pull/954.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/954/head:pull/954

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