Infrared laser spectra of HF and DF