Software for Bayesian phylogenetic analysis