Add the waf executable for building kodkod.
Update kodkod to our latest version.