Gravar-mail: SNP detection and genotyping from low-coverage sequencing data on multiple diploid samples