Gravar-mail: Versatile peptide macrocyclization with Diels-Alder cycloadditions