Empty clauses are now allowed in the input format.
Added pool of clauses to avoid reallocation of literals vector in each clause.
Fixed minor bug on previous commit.
Optimize clause creation, use initialization list and reserve.
Z
Merge branch 'master' into variable_elimination

Conflicts:
	src/Clause.h
	src/Solver.h