Merge branch 'udpor-phase6' into 'master'

Phase 6 of UDPOR Integration: Add `K`-partial alternatives computation + clean up phase

See merge request simgrid/simgrid!139

diff --cc MANIFEST.in
Simple merge

diff --cc src/mc/explo/UdporChecker.cpp
Simple merge

diff --cc tools/cmake/DefinePackages.cmake
Simple merge