Add alltoall collectives from starmpi
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Add colls.h to DefinePackages
Fix sendBounded java binding
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
split SMPI documentation into a specific file (no real change)
rework the SMPI documentation quite a bit
fix some simple errors in the commit of Paul (not enough to compile here)
documentation cosmetics
model-checker : update bugged1 tesh
model-checker : last fix in DPOR algorithm if max depth is reached

If max_depth is reached, the last state in stack may have a process
interleaved with a request not executed yet. In that case, we start to
apply the independence theorem with this last request not executed
yet. Otherwise (no more process to interleave in the last state of the
stack), last state is deleted before starting to apply independence theorem.
model-checker : if acceptance cycle is detected, get num of equal pairs
model-checker : ignore variable about time used with tracing
model-checker : add variable deleted before to resolve a merge conflict
model-checker : variable declaration deleted with a previous conflict
Missing include.
Reindent files before changes.
Fix various build errors.

Mainly unused variables, or pointer arithmetic with pointers to void.

The builds with compile optimizations are still broken, because of smpi symbols
imported in libsimgrid, but I'm not sure how to fix this properly.
fix for windows -- not sure if it's still mandatory, but I guess so
model-checker : add example (electric_fence) to check the soundness of the verification with DPOR and delete another one (random_test)