Gravar-mail: Automatic Design of Digital Synthetic Gene Circuits