Add a `Dot` and a `Norm` trait for vectors having a dot product and a norm.

Those methods are not part of the `Vec` and `AlgebraicVec` traits any more.
Implement `Norm` and `Dot` for `DVec`.