Add a "shutdown" method to GamePlayer so that it can be asked to stop
running its socket listener loop and cleanly terminate.
Merge branch 'master' of https://github.com/ggp-org/ggp-base.git
Get rid of an unnecessary "interrupt" call when aborting a match in the
GameServer.
Add a prototype of a benchmark for player skill, which rapidly runs the
player through a series of crucial decisions across a range of matches,
and reports when players choose moves that aren't marked as being good
moves in those scenarios.
Merge branch 'master' into develop--Upstream changes.