IRC highlighting too minimal

[guest]

IRC highlighting would be much more useful if it did nick highlighting, specifically adding different colors for each nick.

(I can imagine this might be outside the normal behavior of pygments, as it's very context-sensitive, but without it the highlighted logs aren't any more readable than the plain text logs.)

[thatch]

We'd need to do a second pass to come up with the list of nicks. Targeting to 0.12 since I'd like to get #340 ironed out first.

[gbrandl]

Tim, if you don't get to do this for 1.0, just move it to the next milestone.

[thatch]

I should have time before 1.1 ships.