Update versions of alloy and kodkod.