bugfix - solver sent SolutionFoundMessage too early.

Racecondition when executing multiple tests sequently
bugfix - raacecondition in sbt's testrunner.

MoveAnalyzerTests failed --> the message got sent to the wrong testcase..?
RushHourParser not done yet. Enough for today