Gravar-mail: Engineering a protein–protein interface using a computationally designed library