The IGTeacher IRC bot