Update CI to use setup-gap@v3#8

fingolfin merged 2 commits into

mastergap-packages/CoxIterGAP:masterfrom

codex/update-cigap-packages/CoxIterGAP:codex/update-ciCopy head branch name to clipboard