Correctly show number of citizens of player.
Fix errors in the manual, reported by Archimedes on the Freeciv forum.
Update closure compiler.