implement enumeration of permutations in linear time. This hopefully speeds up all solvers.
Pyraminx solver: tablebase working now (tipless, tips to be added in the SolverPyraminx class)