Explosive gas leak detector