Revert "Added threshold on glucose deletion strategy."

This reverts commit 6717b2863cdcf3574917f4b21f1dd2be3c1f66b1.

Conflicts:
	src/Solver.cpp
Revert "Added the deletion strategy of glucose."

This reverts commit 7cf5f0d12fea5e8502c65e1e62ee875d23a4e3d0.

Conflicts:
	src/Clause.cpp
	src/Clause.h
	src/Constants.h
	src/Options.cpp
	src/Solver.cpp
	src/WaspFacade.cpp
	src/deletion/ActivityBasedDeletionStrategy.h
	src/deletion/AggressiveDeletionStrategy.h
	src/deletion/MinisatDeletionStrategy.h
	src/deletion/RestartsBasedDeletionStrategy.h
	src/main.cpp