Refactoring of all queries approach.
Added iterative approach for queries.
Merge branch 'queries' of https://github.com/alviano/wasp into queries

Conflicts:
	src/Solver.h