Use GitHub teams rather than locally configured ones

[shindere]

This issue is to discuss the possibility to define a GitHub team for each of our Tarides teams and to then have Okra use those GH teams rather than locally configured ones, with the obvious advantage of the source of truth being centralized and shared.

In case this is helpful (e.g. for testing), a tarides/compiler-backend GH team already exists.