Added __add__ (+) to BitVector