SolverIDDFS: reverted "solution 0/1 mode" fix from 2013-05-29, it worked correctly before and the "fix" broke it
some GUI polishing