Mid-infrared frequency-agile dual-comb spectroscopy with Doppler-limited resolution