cmake HAS_STDCPP11 examples

Gecode/gecode CMakeLists.txt :61 

check_cxx_compiler_flag(-std=c++11 HAS_STDCPP11)