Propagation of singularities for rough metrics