Phasing of Superconductive Cavities of the REX/HIE-ISOLDE LINAC