New hashing implemented
Merge branch 'master' into newhashing

Conflicts:
	src/ai/sokoban/representation/Board.java
Merge branch 'master' into newhashing
Added flag to step solution
Correctly calculate pruning rate
New static deadlock detection