two steps almost solved, example1 is correct, example2 slightly incorrect
minor changes
fix for example02, going nowhere if stuck horizontally
Merge branch 'master' of github.com:roschaefer/AnswerSetSolving

Conflicts:
	Minotaur/minotaur.lp
correct solutions for all examples