Update push options documentation

Document the fact that the ci.skip push option will not prevent
CI integrations from receiving events

Contributes to https://gitlab.com/gitlab-org/gitlab/-/issues/403065