Added new test cases.
Added the deletion strategy of glucose.
Added check in the solver for testing models.
Added missing files.
Merge branch 'master' of https://github.com/alviano/wasp

Conflicts:
	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
Removed a conflict in a comment.