Quantification of arity >1 results in silent Pardinus failure

[tnelson]

Cannot minimize example at the moment, but the problem is in KodkodServer's public void serve(InputBuffer batch) method. The final System.exit(1) has no error reporting.

[tnelson]

Fixed by ca2b36a