Optimize Clause setup.

[jvkersch]

Profiling a reasonably sized SAT run shows that a large amount of time is spent in setting up the individual clauses. The check for duplicate literals is not necessary, and eliminating this would probably already result in a big speedup.

[cournape]

This is now our main bottleneck, marking for 0.2 milestone.