Gravar-mail: Gene tree correction for reconciliation and species tree inference