Gravar-mail: Software for selecting the most informative sets of genomic loci for multi-target microbial typing