fix player random extraction number

bot_libs/player_handling.py

@@ -17,7 +17,7 @@ async def add_random_players(update, context, colors_names= False):
   _rand.shuffle(names)
   lucky_players= _rand.sample(names, players_num)
   print(f'add_random_players: extracting {players_num} random players for the game')
-  for name in names: await add_player(update, context, name)
+  for name in lucky_players: await add_player(update, context, name)
 
 async def get_players(update, context):
   Arena= context.application.bot_data['arena']