[mc] Bug: MC was reading from the wrong region
[mc] Fast path when comparing NULL against non-NULL pointers
model-checker : remove useless condition
model-checker : check dict content before removing value
model-checker : cosmetic in log message
model-checker : update tesh
fix debug message (wrong buffer was printed)
don't destroy detached comm from the sender side during process cleanup
temporary hack to be able to replay traces of fortran codes through the
simulation of a C code
define types used by fortran even when only C code is used (needed sometimes)

Conflicts:
	include/smpi/smpi.h
use the right types in fortran for some platforms (based on f2c matching, hopefully correct)
activate working tests
Lower sizes and number of messages for pingping to avoid taking too long
Xml platform cleaning teshsuite/msg
add a non-existing MPI_2LONG datatype to handle some corner cases in fortran
this should be err_rank, not err_comm
add minloc and maxloc for long_long
leak --
activate two tests in collective communications
Previous commit exposes a bug in OpenMPI, switch algorithm for bcast to avoid it
The bug is that OpenMPI performs selection of algorithm based on the count on messages.
Or this count can be different from one process to another for bcast.
For example this test has a sender sending one element of 4096 bytes, and receivers receiving 1024 elements of 4 bytes
Yes, this is legal in MPI (but stupid ... but legal).
OpenMPI collective algorithm selector selects a different algorithm for these processes, thus deadlocking
reduce size of recently added tests, to avoid them taking so long to complete