Added data structure storing all clauses in which a literal appears.
Merge remote-tracking branch 'origin/master' into satelite

Conflicts:
	src/input/Dimacs.cpp
Fixed conflict on Dimacs.
Added propagation at level 0.
Added satelite simplifications.
Fixed bug on Satelite.
Merge branch 'master' into satelite