Merge branch 'master' into MC_LTL

diff --combined buildtools/Cmake/DefinePackages.cmake
index d163aaf,b0e7ca8..aeb4b10
--- 1/buildtools/Cmake/DefinePackages.cmake
--- 2/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@@ -16,7 -16,6 +16,7 @@@ set(EXTRA_DIS
        src/xbt/backtrace_windows.c
        src/xbt/backtrace_dummy.c
        src/xbt/setset_private.h
 +      src/xbt/automatonparse_promela.c
        src/xbt/mmalloc/attach.c
        src/xbt/mmalloc/detach.c        
        src/xbt/mmalloc/keys.c
@@@ -180,7 -179,6 +180,7 @@@ set(XBT_SR
        src/xbt/parmap.c
        src/xbt/xbt_replay_trace_reader.c
        src/xbt/lib.c
 +      src/xbt/automaton.c
  )
  
  if(HAVE_MMAP)
@@@ -369,7 -367,6 +369,7 @@@ set(MC_SR
        src/mc/mc_dpor.c
        src/mc/mc_request.c
        src/mc/private.h
 +      src/mc/mc_liveness.c
  )
  
  set(RNGSTREAM_SRC
@@@ -412,8 -409,6 +412,8 @@@ set(headers_to_instal
        include/xbt/mmalloc.h
        include/xbt/replay_trace_reader.h
        include/xbt/parmap.h
 +      include/xbt/automaton.h
 +      include/xbt/automatonparse_promela.h
        include/simgrid/platf.h
        include/mc/modelchecker.h
        include/msg/msg.h
@@@ -697,7 -692,6 +697,6 @@@ set(add_src_file
        src/smpi/smpif2c.in
        src/smpi/smpiff.in
        src/smpi/smpirun.in
-       src/simix/smx_context_sysv_private.h
  )
  
  file(GLOB_RECURSE xml_files