Use a random subset of vectors to generate trees

[Kerollmops]

The current indexer uses the full set of vectors to generate the trees. The advantage is that the split planes represent the vectors in the database. The cons is that it takes a lot of memory, even if it is memory-mapped.

So, to reduce the memory used to index the vectors, we should only use a subset of the vectors to generate the tree and then add the other vectors, those not used to create the planes, back into the tree. With or without refining the planes, I don't know, but probably without. Those vectors can be added by using incremental insertion.