vcf and gzipped vcf file readers