Added a BitVector OR operation (operator|). No idea if it works yet.