Gravar-mail: An efficient and extensible approach for compressing phylogenetic trees