GGP player for https://www.coursera.org/course/ggp