Implement Z3Context.onError, called when z3 errors out.
Merge pull request #21 from colder/topic/error-handlers

Implement Z3Context.onError, called when z3 errors out.