Title: Novel pulsed difference-frequency laser sources for compact mid-infrared trace-gas sensors