Construct a rotation from a matrix.

Add goodies to `R3x3Matrix` to support this: `Trace`, `operator[]`, product of an R3Element with an R3x3Matrix.