[galaxy-dev] GATK tools not showing up in cloudman Galaxy installation