Documentation: tell when push options were introduced

This MR adds text indicating when some push options were added to the product.

This was requested in gitlab-com/www-gitlab-com!27783 (merged)

This relates to https://gitlab.com/gitlab-org/gitlab-ce/issues/43263