Tesh sort wanted output
model-checker : update state equality detection

- ignore field in mmalloc meta-data equal to the amount of elements to ignore in this area
- match_equals was applied twice in heap comparison algorithm, remove one unnecessary call
- apply these changes in system-state equality comparison
model-checker : restore independence between iSend/iRecv and Wait requests
model-checker : create dot_output file after MC_do_the_modelcheck_for_real and write only if not NULL
model-checker : update tesh (different log messages)
model-checker : signed int instead of unsigned int
model-checker : update tesh
have sendrecv_replace work with non contiguous datatypes and really pass tests
model-checker : state at max depth may have none interleaved processes
model-checker : iSend/iRecv independent with Wait but not with WaitTimeout
model-checker : display address of communication in Wait request if verbose log
model-checker : new examples (with tesh) for verification of liveness properties on chord
actually use starmpi collectives for allreduce
adapt two collectives of starmpi to avoid timing issues, by using only smpi calls inside
fix a bug happening with manually defined clusters
another allreduce ported
use links in the manual TOC
little refresh, and a word about git commit messages