Implement POR

src/CommonSOG.cpp

src/CommonSOG.h

src/Hybrid/HybridKripkeState.h

src/LDDGraph.h

src/MCMultiCore/ModelCheckerCPPThread.cpp

src/MCMultiCore/ModelCheckerCPPThread.h

src/NewNet.cpp

src/NewNet.h

src/TransSylvan.cpp

src/TransSylvan.h

src/misc/md5_hash.h