Update version of Kodkod