eliminated self intersection and non-integer coordinates;

try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK;

updated generated files;

merged

Changed 'bounded unique existential quantifiers' from a constant to syntax translation.

four changes to Nitpick: 1. avoid writing absolute paths in Kodkodi files for input/output files of external SAT solvers (e.g. MiniSat), to dodge Cygwin problems 2. do eta-contraction in the monotonicity check 3. improved quantifier massaging algorithms using ideas from Paradox 4. repaired "check_potential" and "check_genuine"

capture error messages (of SMT solvers)