IRC bot using gevent and a plugin system