Included corral pruning; some cleanup
More KATTIS friendly codebase
Introduced Settings class; cleanup
Merge branch 'master' of github.com:milseman/sokoban

Conflicts:
	src/ai/sokoban/Main.java
	src/ai/sokoban/representation/BoardBuilder.java
	src/ai/sokoban/solving/AStarSolver.java
	src/ai/sokoban/solving/Corral.java