Gravar-mail: Bayesian inference of population size history from multiple loci