Added the functions random_rot_axis() and random_R() to generate random rotations.
Authored by: bugman 2009-05-15
Parent: [r9059]
Child: [r9061]
