Infrared gas detector