Update Alloy to point to kodkod2 integration branch