Add GitHub usernames to MAINTAINERS

This makes it easier to ping people when writing comments.