Do not create empty .so files at load time
Add incref/decref and make ASTs (and ast-lookalike) refcounted
Implement some more Solver methods, this requires ASTVector.
Fix ws
Add various functions, deprecate things from Z3Context that moved to Z3Solver.
Actually implement ASTVectors in JNI, make sure a model is available before getting it
Add getAssertions, there seem to be an issue with external theories, few tests fail
Update tests so that they no longer use deprecated ScalaZ3 API
Various fixes and changes
Fix stupid checkAssumptions bug
privatify methods we no longer want to expose, adapt tests
Remove delete() functions, revert changes to sbt build file
Deprecate Z3Model.delete
Be a bit more memory friendly: collect solvers early on
Deprecate softCheckCancel, map it to interrupt
512 is too many solvers
Use Z3_model_eval instead of the deprecated Z3_eval.

For BC we set reconstruct_models to false, but it might be
avantageous to turn it on and let Z3 complete partial models instead of
doing it ourselves later (i.e. in Leon).
Separate model_eval and eval, use model_eval in Z3Model.eval
Implement Z3Context.onError, called when z3 errors out.
Two convenience functions on solvers.