Rewrite ingame ping implementation.

This replaces the ICMP based ping with a more appropriate estimation using ping/pong orders. This also moves the lobby ping & admin indicators off the player name, and reduces a pile of duplication in the player bin lobby wiring.

The dynamic order lag has been removed for now, as doing it properly is not a trivial fix.