Gabor analysis for Schrödinger equations and propagation of singularities