proGenomes: a resource for consistent functional and taxonomic annotations of prokaryotic genomes | Publicación