model-checker : remove KSM work -> doesn't work currently
model-checker : disable mprotect on snapshots
model-checker : complete comm pattern only after a comm wait
[mmalloc] Use mremap to expand heaps (heap collision prevention)

mremap() will fail instead of overwriting an existing memory mapping :
the first heap could silently overflow on the second one.
[mc] Rename raw_heap into mc_heap
model-checker : handle waitany simcall
[mc] Comments/documentation of memory related code
[mc] Use the actual heap size when testing if an address is in the heap in mc_compare
[mc] Use the actual heap size when testing if an address is in the heap in mm_diff
[mc] Move mm_diff in mc/

mm_diff relies heavily on MC and is not relevant in the xbt/mmalloc
layer anymore. Moreover we probably want to merge it with mc_compare.
[mc] Use the actual heap size when testing if an address is in the heap (in mm_diff, linear_compare_heap)
[mc] Avoid memsetting twice
Merge branch 'mc_without_ksm' into mc

Conflicts:
	src/mc/mc_dpor.c
	src/mc/mc_global.c
	src/mc/mc_memory.c
Revert "[mmalloc] Use mremap to expand heaps (heap collision prevention)"

This is really how is should be handled. However, this does not work
if someone has split the VMA in parts: this is done when creating
stacks on the heap without MC, mprotect() is used to create a guard
page for the stack.

This reverts commit ba3185d8a4f0a56804d3b1ff24e596096f06a37c.
Merge branch 'master' into mc
[mc] Temporary fix for smpi_process_finalize leading to graph explosion in MC
model-checker : improve error message
model-checker : cosmetics in log message
model-checker : cleanups, refactoring and apply indent script
model-checker : forget file