[galaxy-dev] Which version of GATK work with Galaxy?