RAGTool should have a delete document function

RAGTool does not currently support removing a document from the index.