Python tools to manipulate VCF files