Gravar-mail: Phylogenetic Clustering by Linear Integer Programming (PhyCLIP)