Use GitHub Job Summary to provide convenient output

[nicorikken]

Use a Job summary (docs) to embed a report in the GitHub Action view.

This can be used to both report on how the job was executed (steps, timing) and also a summary of the ORT results.