An extensible IRC bot