Update Kodkod version and point to bitbucket mirror of Alloy