Use the latest version of alloy with the new build system.
Merge branch 'new-alloy-build-system' into overlapping-gia
Update version of kodkod.