Gabor Analysis for Schrödinger Equations and Propagation of Singularities