Moving game naming function to Service. Enhancements for leaderboards

Game type filter is now correctly alphabetized. Boards take into
account ties.