Make config file parsing fail on unknown (or mis-spelled) settings
Cherry-pick of fda4b58a and merge request !116 (merged), without touching command line flags.
Cherry-pick of fda4b58a and merge request !116 (merged), without touching command line flags.