Remove lastSwapIndex.
Fix warning on unsigned and signed comparison.
Put activity and signature of Clause in a union.
Learned clauses must use addLiteralInLearnedClause instead of addLiteral.
Remove variable signature in Variable (we compute it online).