Rollback of TreeDecomposer due to changes in Names

- The TreeRecomposer now just generates a map of names from their
ordering. They do not store anymore BFS indexes, just ordering.
- Hence, faster
Merge branch 'master' of https://github.com/aghosn/persistence