Gravar-mail: Polytomy refinement for the correction of dubious duplications in gene trees