Tilesets: Separated *unexplored* tiles from *not visible* tiles

Add city size (population) to TradeOffer.kt - By WhoIsJohannes

By SomeTroglodyte:
- Fixed header in city detailed stats popup
- Map editor explorable with arrow keys
- Fix Garrison bonus logic

Save settings when closing the options popup  - By Gualdimar