Add sorting by server name, player count, and map

Fixes #338