Save settings in config.ini if changed in-game. Added new settings.

Up until now, config.ini was only read at startup but the settings were never saved. This set of patches fixes this.

Moreover the following settings have been added:
* always_show_gridlines
* landscape_smoothing
* show_height_as_units
* save_plugin_data