ping supposedly offline users too

* keep the name conversion though for those online with different nicks
* presence detection across multiple bridges/gateways is unreliable
* some members only get "joined" IRC side on first message after restart
* if they're really offline, then they won't get pinged anyway

bot.py

@@ -47,6 +47,8 @@ class Server(BaseServer):
                             pfold = self.casefold(player)
                             if pfold in channel.users:
                                 ping += f"{channel.users[pfold].nickname} "
+                            else:
+                                ping += f"{player} "
 
                         await self.send(build("PRIVMSG", [chan, "Anyone ready for " + game + f" : {ping} ?"]))
                         if connections[self.name]: