Compact, mid-infrared laser source for remote sensing of gas effluents