[CircuitSeq] Add a linear function to translate Rz gates into T gates

[xumingkuan]

Also adds Clifford_T_5_3_complete_ECC_set.json to the ECC sets folder.

Also adds Rz(-pi) to the context shift test.