a python bot framework, used (for now) as a github IRC bot