Gravar-mail: Computation-guided optimization of split protein systems