Changed CMakeLists.txt to include gecode headers.