Add a function to determine if a ppp is greedly dominated given the set of PPP.
Change build configuration. Binary are now generate in top folder and fix a bug in Cmake build type definition.