Measurement of pressure-induced shifts of infrared lines with a tunable diode laser