Slightly improve error message when check_dist_archive fails.

Also add some words about "make distcheck" in README.coding.
Make check-dist-archive succeed (take last changes into account).
Correction of documentation.

If 0 is set as context/nthreads configuration value, the amount of core
will be also auto-calculated.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>
Fix absolute path in documentation
Fix doc bug [#15024]
Auto generate hostfile if not given to smpirun [#14692]
reindent before changes
-Cleaning a bit the code
-Respecting better (but not yet completely)  the BitTorrent protocol specifications
Merge branch 'bittorrent'
Fully implement the piece selection algorithms of Bittorrent protocol:
   strict priority policy, random first policy, endgame mode
reindent ... this time with the appropriate options
bittorrent: Replace the last isend by dsend
Remove all stuff related to pending sends
Fix unset var in smpirun
Remove unused notion of stalled messages for "piece" messages

Add some xtb_assert and correct a debug message
model-checker : cleanups in tesh examples

- rename directory: chord_liveness -> chord
- add tesh for bugged2
- remove broken tests snapshot_comparison*
- neverJoin in Chord is a safety property, not a liveness property
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Remove binary file!
Remove duplicate file.

It's the same as deploy_chord4.xml.
Remove stale forward declarations.