implemented DFS on automorphism tree
implemented DFS on automorphism tree

AlexanderViand/HElib,AlexanderViand/HElib,berserkr/HElib,AlexanderViand/HElib,shaih/HElib,berserkr/HElib,shaih/HElib,berserkr/HElib,shaih/HElib