Gravar-mail: Computational approaches to species phylogeny inference and gene tree reconciliation