#16 Event type 9001 is unknown

[Martin Leben]

The event type 9001 is logged as an unknown event. It
is a nick change event and it would be nice if it was
logged correctly.

Thank you for a very good plugin! :-)