propagator of a driven harmonic oscillator