Create a specific event when learning unit clauses
When the solver learns unit clauses (a literal), it needs to got back to decision level zero, and such clause is managed specifically in the solver. In the context of parallel SAT solving, a solver like plingeling is sharing unit clauses among parallel solvers. Having a specific unit clause event would allow to implement more easily such feature in Sat4j.