Use the latest version of alloy with the new build system.

This uses the new build system for Alloy that uses ant.
This system will use the libraries built by kodkod instead of blobs from extra.jar.
As such extra.jar does not contain any libraries.

Reviewers: @AtulanZaman @joseph2625 @mhyee