Restore classic and simple source-set based DPOR algorithms
Restore classic and simple source-set based DPOR algorithms

aronisstav/Concuerror,mariachris/Concuerror,aronisstav/Concuerror,mariachris/Concuerror,parapluu/Concuerror,parapluu/Concuerror