Increased the number of players required to play double agents.
 Small optimization.
Merge pull request #907 from Giacomand/double_agent_update

 Increased the number of players required to play double agents.