Gravar-mail: Efficient algorithms for reconstructing gene content by co-evolution