Propagation of singularities for hyperbolic pseudo differential operators with non-smooth coefficients