Formalize community teams with GitHub teams

[fricklerhandwerk]

GitHub offers a mechanism to group people together to assign them to issues or pull requests, and provide contact and other information. Currently we don't use it in any structured fashion, which makes discoverability of team members and their activities unnecessarily hard.