Create bitvector.h