Updated the version of kodkod.

Using the latest master with OGIA.