Restart and parameters

When we restart there no parameters that can be changed (only those from the command-line, not including -P ones, can be modified, basically the number of threads and affinity). We should consider allowing all parameters read from the command-line and parameter file to be changed. This would need the new parameter file to supercede the settings saved in the restore file.