Use IRC nick as user ID

This allows us to name IRC users as admins.