Add dimension method to Vector.

The dimension is the cardinality of the vector (aka the length of its
list of components).
Add a length method.

This method computes the length/magnitude of the vector.

The computation is done using floating point numbers, so there is some
rounding errors involved.