TOOL: github username vs ID

[bsipocz]

Small tool that check if the usernames in the teams repo still matched their IDs (so we don't need to track people with an integer, but can keep using the username relatively safely).

I suppose this should be run on a cron and email org owners when a discrepancy appears