Add Ai names #6

Names are read from the AiNames file. A random selection
is chosen for each session.