Gravar-mail: Bayesian design of synthetic biological systems