Gravar-mail: A mechanochemical approach to access the proline–proline diketopiperazine framework