Gravar-mail: Computational analysis of viable parameter regions in models of synthetic biological systems