more server-client robustness

GameServer and DumbBot take (optional) command line args
multiple rounds of play enabled
unique name checking disabled