Colour tweaks for player titles (PleasingFungus)
Fixes and reductions to the devteam crawl account list

This file lists crawl player accounts for devteam members with the
first entry being the irc nick used in the mailmap. The player
accounts for each devteam nick are taken from the Sequell !nick
mapping command. A couple entries have been fixed up, and I've removed
some player accounts that haven't had any games played recently. I've
defined recent for this purpose to be since the release of 0.14.