Implement the algorithm from [*Optimal ancilla-free Clifford+T approximation of z-rotations*](https://arxiv.org/abs/1403.2975v3) that synthesizes single-qubit z-rotations up to a global phase.