saveSettingsPath -- option of trackPaths to save the settings for a reproducible rerun

Description

By default, this option is set to the empty string.

If the user provides a string that is not the empty string, then the settings of the path tracker are saved for a rerun. Calling trackPaths, giving the same string to loadSettingsPath, enables a reproducible run.

Functions with optional argument named saveSettingsPath :

trackPaths(...,saveSettingsPath=>...) -- option to save the settings of the path trackers for a reproducible rerun

For the programmer

The object saveSettingsPath is a symbol.