PlanetPhysics/Axis Angle of Rotation to Direction Cosine Matrix

For now, without proof you can get the direction cosine matrix (DCM) from the axis angle of rotation by