Add repo cleanup tasks

* `repo:cleanup_orphans` to remove repos with no memberships.
* `repo:cleanup_duplicate_github_ids` to remove duplicate repos
  with the same `github_id`.
Style: Avoid abbreviations.