private static void EndGame()
{
Console.WriteLine("Computing post game rewards.");
manager.CollectPostGameRewards();
Console.WriteLine("Game is over, computing points");
manager.ComputePoints();
Console.WriteLine("These are the total victory points (VP) for each player:");
foreach (var p in manager.Players)
{
Console.WriteLine(string.Format("{0} => {1} VP", p.Name.ToUpper(), p.VictoryPoints));
}
Console.WriteLine(string.Format("And the winner is... {0}. Congrats!", manager.Players.OrderByDescending(p => p.VictoryPoints).First().Name.ToUpper()));
}