update links in documentation, for builds and deployments, to point to new targets.

where to update:

• release to prod' guide - on repo wiki
• promotion manager duties / deployment queues - on google-drive (check if it's already moved to wiki)

what to update:

• jenkins product-build/smoke-test jobs
  • URLs updated with VCS identifiers. e.g. project-pr-check --> project-gh-pr-check, and any other job renames
  • jobs moved from ci.int.devshift.net to ci.ext.devshift.net gonna be reverted, as private github repos should reside under ci-int
• deployment pipelines
  • remain the same, no updates necessary