store fragments of double-dop model in the right order, &c.

- fix bug with reading export trees
- fix treesearch documentation