Gravar-mail: Computational design of probes to detect bacterial genomes by multivalent binding