CI: Befriend GCC CI farm

Following up on FOSDEM chats and recent issue comments, it may be useful to get an account on https://gcc.gnu.org/wiki/CompileFarm if not for regular CI builds (they would be overwhelmed probably), then at least to occasionally do one-off test builds on the less commonly seen platforms.