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

...meticker var/random_players. The 'Make everyone random' verb works as it did before.