SetAtomTree can now read a fold tree from an external file. Useful in cases where the fold tree is sticky and not quite general... no test changes expected