Unsat core infrastruture and API (SMT-LIB compliance to come).
Java-side interface improvements for unsat cores.