Added multiplication of quaternions, and rotation of vectors by quaternions.