'GitHub Based Patcher' module for ATutor