[bugfix] Do not forget conflict at level 0
[bugfix] Do not forget conflict at level 0

In add_clause, a conflcit at level 0 raised Unsat, but was forgotten,
which is obviously incorrect as succesive solving of the same problem
would yield different results.

Gbury/mSAT