Merge of developping version.

Now working algorithms for detecting conjugators Group of all fr,f.s.,bounded and finitary automorphisms.