Update version of kodkod.