Add CMake guidance to the Gecode skill#4

zayenz wants to merge 1 commit intocodex/skills-pr2-gecodeGecode/gecode-skills:codex/skills-pr2-gecodefrom

codex/skills-pr3-gecode-cmakeGecode/gecode-skills:codex/skills-pr3-gecode-cmakeCopy head branch name to clipboard