Added in-game network stats

As requested in #2281.

Also wired up the check if clients lag behind the current net frame (labeled as Delay). My plan is to expose the network stats tab to everyone and gameplay stats to allies not just spectators as requested in #2511 once #3135 is merged.

Note this is also useful for #2693 because it exposes the IP to everyone (not just the server and not just hidden in a log file) which can then be traced to identify trolls and get them banned for the next round.

Known limitations: the PlayerPinger server trait from #3158 does not update in-game, so latency and jitter do not show the live values, but the average calculated in the lobby.
It might pay to define this in ingame-menu.yaml instead, so that the whole menu has access to tooltips without duplication.