Gas leak detector for halogen gas