added special updateIndex method to SearchManager which allows very fast updating of a document without full reindexing