Adding dot_product to VectorTraits.