0.19.19

• Fix broken map downloader
• Add leaderboards from API
• Add option to force switching to vault fallback location
  (to be compatible with the Java client's settings)
• Exclude observers from game player count