Please sort github usernames case-insensitively

[joshtriplett]

This would require pulling in an appropriate crate for such a comparison, and using it in the comparisons in src/github/nag.rs list_review_requests and src/server.rs html::all_fcps.