I would never never use oil based paint on a stucco ceiling. Just does not make sense to me.
Oil will take forever to dry and longer if the outside temp is cold and humid. The smell is another nightmare that actually is dangerous for lengthy time.
I would definately use the latex paint, either sheen you desire and the paint will dry in an hour or so and the smell is very low and if your alergic use the no smell paint. This is sold only at paint dealers NOT home centers.