Add admin command for deleting accounts.
Sort the admin users list by GitHub user ID.
Stop looking up repos for all users on the admin page.

Takes too long to load. Move repos instead into a per-user page.

Also adds basic redacting of repo information.