propagator of the harmonic oscillator in 1D