Model-checker:
- Remove option 'model-check/record': Paths are recorded in any cases now.
-Fixed bugs (GH=GitHub; FG=FramaGit):
+Fixed bugs (FG=FramaGit; GH=GitHub):
- FG#1: Broken link in error messages
+ - FG#2: missing installation documentation
+ - FG#3: missing documentation in smpirun
- FG#7: simple cmake call requires doxygen
- - FG#8: missing installation documentation
- FG#10: Can not use MSG_process_set_data from SMPI any more
- FG#11: Auto-restart actors forget their on_exit behavior
- FG#12: -Denable_lto=OFF doesn't disable LTO