Integrate sorting of players in Player GUI from upstream

https://github.com/ggp-org/ggp-base/commit/cfbadf76d55fd982b7481744a3d60cd95d2d7201