the shark irc bot