Use rand-nth and rand-int as appropriate
Attempt to ensure each robot has a unique name

Uses a set to track the names that have been used. The set is wrapped in
a ref instead of an atom so that generating the name and checking it's
membership in the set are all done in a single transaction.