cmake DGECODE_HAS_CPPROFILER examples

Gecode/gecode CMakeLists.txt :407 

add_definitions(-DGECODE_HAS_CPPROFILER)