New reverse index implementation (using IndexCorpus), bit slower but far less memory
update
fix
verbosity
Merge branch 'master' into pointerbased