Added a configuration option to force random names. This replaces the gameticker var/random_players. The 'Make everyone random' verb works as it did before.
Merge pull request #183 from Petethegoat/randomconfig

Added a configuration option to force random names. This replaces the ga...