CI log improvements

[jrhemstad]

Description

In an effort to make the CI logs more delightful, this PR does a few things:

• Uses groups to collapse and group together logical sections
• Uses color/emojis to better highlight important information
• Adds a ninja_summary.py script to display the 10 longest build times and includes it in the CI log
• Updated the repro instructions wording in the run-as-coder workflow to make it easier to understand

Example of a failed build log

Example of a successful build log