Optimization for clauses w/ two literals

[danielschemmel]

Clauses w/ exactly two literals can be stored and applied more efficiently than is currently done (both literals are watched) by adding specific data structures for them.