Use the latest version of alloy with the new build system.
Merge pull request #2 from TeamAmalgam/new-alloy-build-system

Use the latest version of alloy with the new build system.
Merge branch 'master' into pgia-scratch
Update version of Kodkod-PGIA