Add a whois plugin, to associate arbitrary data with a (user, channel)

As before, duplicates of this "nick from user" functionality are undesirable.