Dynamics on flag manifolds: domains of proper discontinuity and cocompactness