added Solution.minimizeColorChanges()
(prettify the solutions: transpose some moves and thus create longer runs of moves of the same robot color)
some refactoring of minimizeColorChanges
KeyDepthMapTrieSpecial: small speedup
added some developer info and library designgridlayout-1.11.jar
remember current robot positions when switching to custom board editor
don't run minimizeColorChanges() in case of "solution 0/1"
fixed a bug in Board.isSolution01(). fixed potential race condition in GUI / Solver.
release 1.3.3
Add run script to compile and start from the current repository
Merge pull request #5 from rubo77/run

Add run script to compile and start from the current repository
rename script run.sh to compilerun.sh and use destination "bin"
update compilerun.sh to create Java 6 compatible classes
GUI: update values of width/height controls after loading a custom board
Merge remote-tracking branch 'upstream/master'