Merge branch 'develop' into feature/checkpoint-restart

doc/userdoc.org

src/language/PugsParser.cpp

src/language/modules/CoreModule.cpp

src/language/utils/Exit.hpp

src/main.cpp

src/utils/ExecutionStatManager.hpp