Merge branch 'doc_to_docs' into 'master'

Change all occurrences of doc.gitlab.com to docs.gitlab.com

Now that https://gitlab.com/gitlab-com/operations/issues/233 kicked in.

See merge request !4148