Updated versions of alloy and kodkod.