redis2irc: Use asyncio/irc3/asyncio-redis