Changed some initialization code in ExploreGame; added automatic creation of players in ExploreServer.