Fix SkewbSolver.
implement enumeration of permutations in linear time. This hopefully speeds up all solvers.
Skewb solver: pruning version works now.