cmake

经过长时间停更后，Gecode 6.3.0 和 6.4.0 现已发布，带来了现代化的构建系统（CMake）以及更新后的 MiniZinc 集成。