removed DMPrefixTree and added StringMap directly to support compression of the whole occurrence set
using new ComprPrefixTree within InvertedIndex