Fix the diophantine solver regression issue

Turns out z3 needs to use the AUFLIA logic for this example to go thru;
so, use the new logic-setting facility to explicitly set it. See
https://z3.codeplex.com/workitem/88 for details.

Fixes #59.