Use IRC nick as user ID

This allows us to name IRC users as admins.

Not sure yet if this will have unintended consequences... we'll see!