Gravar-mail: Genotyping microsatellites in next-generation sequencing data