Gravar-mail: Modeling mutant phenotypes and oscillatory dynamics in the Saccharomyces cerevisiae cAMP-PKA pathway