Add sections to GHA logs

[mdboom]

As follow-on to #382, we should add section markers when running in Github Actions to make it easier to navigate the logs. (It should detect when running in GHA, and not do this otherwise).