implement enumeration of permutations in linear time. This hopefully speeds up all solvers.
Pyraminx Diamond solver: pruning version finished.