Remove unused BitVector.h