Gravar-mail: "PolyMin": software for identification of the minimum number of polymorphisms required for haplotype and genotype differentiation