add concat function to BitVector