Updated versions of kodkod and alloy to include logging information