Gecode 6.3.0 and 6.4.0 are released

Gecode 6.3.0 collects seven years of solver and MiniZinc integration work, while 6.4.0 modernizes the build, adds new propagation functionality, and starts a more active release line.