Merge branch 'release-1.1.23'
Move sf_help() from sysfunc.sh to sf_misc.sh.

Needed because each file now generates a doc, so sysfunc.sh does not correspond to any section and cannot contain documented functions.
Fix typo in sf_save()

Bug appears when saving a path which was already saved in the past.
Merge branch 'hotfix-save' into develop
Switch version to 1.1.24
Merge branch 'release-1.1.24' into develop
Merge branch 'develop' into save_system
Improve the save system

Add 'noexec' compliance. -> Move sf_save calls outside of noexec blocks.
sf_save.sh() now raises a fatal error if it cannot save the file.
Add excluded path feature (default is paths starting with /tmp/ or /var/tmp/)
A file is now saved only once per session (process).
Sessions can be inherited (super-session from calling process)
Merge branch 'save_system' into develop