Change BitVectorRepository to use LinkedLists

This removes a nasty source of non-determinism when using
MutableSharedBitVectorIntSets.