Sort server list by number of drivers/dispatchers or ping etc

[GoldLettuce8526]

The listing of players on each server is a nice addition. Thank you! Sorting those columns would be a nice touch, too.