Return rotation matrix for angle alpha around origin.
Rotation angle in radian, increasing for anticlockwise rotation.