Backfill many missing Zulip IDs

[Kobzol]

Backfills many of the missing Zulip user IDs.

In the first commit, I used the code that we have for cargo run add-person, which matches Zulip accounts with GitHub usernames. Then I filled a few people based on manual Zulip name search.

The second commit then matched people through their Zulip name and GitHub username or name.

[github-actions]

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Team Diffs:
    📝 Editing team 'rust-lang/all':
      Adding member 'graciegregory' with member role
    📝 Editing team 'rust-lang/survey':
      Adding member 'graciegregory' with member role
    📝 Editing team 'rust-lang/wg-triage':
      Adding member 'edmilsonefs' with member role