Update to latest versions of alloy/kodkod.

Adds checkpointing for MiniSat.