Gravar-mail: Computational design of synthetic regulatory networks from a genetic library to characterize the designability of dynamical behaviors