Use the refactored Alloy+Kodkod trees
Update version of Kodkod