If ignore_seed_mismatch is set to true, no exception is thrown anymore,
If ignore_seed_mismatch is set to true, no exception is thrown if the random seed core in the configuration file is missing. Instead, a warning is given and the random seed core of the input file is used.
Before ignore_seed_mismatch only worked, if a mismatch between the random seed core in the input and the configuration file was found, but not if the value in the configuration file was missing.
I also added one sentence to the ReadMe about this.