givens_rotation function

It implements series of Givens rotations that maps Wa to Wz