New reverse index implementation (using IndexCorpus), bit slower but far less memory