feat: status reporting to GitHub triggerers
This adds the ability to report status back to GitHub when triggered from there so the success of this pipeline can be imposed as a requirement for merging there. This triggers the benchmarks with the GitHub callback info, so benchmarks will report too.
Edited by Wouter Deconinck