Gravar-mail: Bayesian coestimation of phylogeny and sequence alignment