Work in progress. Very temporary implementation of McKay's algorithm.