Implement Z3Context.onError, called when z3 errors out.

Implements a callback for Z3 fatal errors. C will call Java's Z3Wrapper.onZ3Error which will dispatch to the right Z3Context.onError