#453 Done

Done but not implemented in AgentNpc. The GameManager now distinguishes
the player-team points and the npc-team points.