Generating functional for harmonic oscillator and its generalization to field theory, Feynman propagator from path integral, Wick theorem