* src/misc/configuration.c: in config_SaveConfigFile() don't save options that
kept their original value (thanks fenrir for the suggestion).