Support generic circuit to PBC transformation

[Cryoris]

What should we add?

Converting a circuit to Pauli-based computation (PBC) format in terms of PauliProductMeasurement and PauliEvolutionGate requires going via the LitinskiTransformation, which can introduce global circuit operations. We should add a transformation pass that allows to directly decompose a circuit into PBC by translating the gates to Pauli rotations and measurements. E.g. the X gate becomes a X(pi) rotation or the Hadamard a Z(pi/2) X(pi/2) Z(pi/2) sequence.

[Cryoris]

@anedumla already worked out most standard gates equivalences here

'x':[('X', pi / 2, pi / 2, [0])],
'y':[('Y', pi / 2, pi / 2, [0])],
'z':[('Z', pi / 2, pi / 2, [0])],
'h': [('Z', pi / 4, pi / 6, [0]), ('X', pi / 4, pi / 6, [0]), ('Z', pi / 4, pi / 6, [0])],
's': [('Z', pi / 4, pi / 4, [0])],
'sdg': [('Z', - pi / 4, - pi / 4, [0])],
'cx': [('XZ', pi / 4, - pi / 12, [0, 1]), ('Z', - pi / 4, - pi / 12, [0]), ('X', - pi / 4, - pi / 12, [1])],
'cz': [('ZZ', pi / 4, - pi / 12, [0, 1]), ('Z', - pi / 4, - pi / 12, [0]), ('Z', - pi / 4, - pi / 12, [1])],
'cy': [('YZ', pi / 4, - pi / 12, [0, 1]), ('Z', - pi / 4, - pi / 12, [0]), ('Y', - pi / 4, - pi / 12, [1])],
'swap': [('XX', pi / 4, pi / 12, [0, 1]), ('YY', pi / 4, pi / 12, [0, 1]), ('ZZ', pi / 4, pi / 12, [0, 1])],
'iswap': [('XX', - pi / 4, 0, [0, 1]), ('YY', - pi / 4, 0, [0, 1])],
'dcx': [('XZ', pi / 4, - pi / 12, [0, 1]), ('Z', - pi / 4, - pi / 12, [0]), ('X', - pi / 4, - pi / 12, [1]), ('ZX', pi / 4, - pi / 12, [0, 1]), ('Z', - pi / 4, - pi / 12, [1]), ('X', - pi / 4, - pi / 12, [0])],
'rz': [('Z', 1 / 2, 0, [0])],
'rzz': [('ZZ', 1 / 2, 0, [0, 1])],