Integration with Alloy

We originally attempted to strip Alloy out completely, but that didn't work, so the new approach is to bring Alloy and Kodkod together.

- Some new files were added to the multiobjective package
- Kodkod options was updated for multiobjective options
- Stubbed out the overflow functionality

Alloy expects Kodkod to have "int overflow" support. That way, the constraint `x < y + z` can be true even if `y + z` overflows. Unfortunately, the changes to Kodkod were too invasive to pull in, so I just stubbed it out.

The corresponding changes to Alloy are committed at 1c66dea52380bffcd58966ae8a750590a704c95a.

Note that this pull request is a superset of https://github.com/TeamAmalgam/kodkod/pull/3

To get an easier diff to view (sorry, I had a macro that strips trailing whitespace), append `w=1` to the diff url, eg `https://github.com/TeamAmalgam/kodkod/commit/3bc51ed2068c678e723c0f4c11884058a3e48596?w=1`