An IRC bot for a python study channel