changes for new compiler gcc-thomas-healy

[healytpk]

No description provided.

[mattgodbolt]

This is missing the change to the compilers.yaml and the other files that come from make build-yamls. From the README:

2. Configure CI workflow

Add to compiler-workflows' compilers.yaml (example):

- { image: clang, name: clang_p3334, args: p3334-trunk }

The args value must match the case label (or if check) in build.sh. Run make build-yamls to generate the workflow file.