Gravar-mail: Efficient Exploration of the Space of Reconciled Gene Trees