Gravar-mail: BGT: efficient and flexible genotype query across many samples