Implement POR for the hybrid construction

src/CMakeLists.txt

src/CommonSOG.cpp

src/Hybrid/MCHybrid/MCHybridSOG.cpp

src/Hybrid/MCHybridReq/MCHybridSOGReq.cpp

src/Hybrid/MCHybridReq/MCHybridSOGReq.h

src/Hybrid/MCHybridReqPOR/MCHybridSOGReqPOR.cpp

src/Hybrid/MCHybridReqPOR/MCHybridSOGReqPOR.h

src/LDDGraph.cpp

src/LDDGraph.h

src/LDDState.cpp

src/LDDState.h

src/MCMultiCore/MCCPPThPor.cpp

src/MCMultiCore/MCCPPThPor.h

src/MCMultiCore/MCThReqPor.cpp

src/MCMultiCore/ModelCheckerCPPThread.cpp

src/MCMultiCore/ModelCheckerCPPThread.h

src/SogKripkeTh.cpp

src/SpotSogIterator.cpp

src/SylvanWrapper.cpp

src/SylvanWrapper.h