Unitary Synthesis of Clifford+T Circuits with Reinforcement Learning