Gecode 6.2.0

The release enables half-reification in FlatZinc, fixes indeterminstic behavior for shared branching criteria, and fixes several aspects for general tracers. It is recommended to upgrade as soon as possible.