Gravar-mail: Bayesian credible intervals for binomial proportions in a single patient trial