Bug fix for the R_to_axis_angle() function. The axis needs to be normalised.
Authored by: bugman 2009-07-02
Parent: [r9177]
Child: [r9179]
