chomp irc bot nicks down to 17 chars, fixes #831