Methods and reagents for the post-translational cyclization of genetically encoded polypeptides