mergeFinished
Called by IndexWriter after the merge is done and all readers have been closed.
Parameters
success
true iff the merge finished successfully i.e. was committed
segmentDropped
true iff the merged segment was dropped since it was fully deleted