Doc improvements on user guide

This change:

  * fixes some spelling issues
  * externally links to a document describing what a 'git ref' is
  * links to executor document at the first reference to it
  * links to independent pipeline at the first reference to it

Change-Id: I3f2247deac15fd15c9dead6cba537d7b17e8491f
4 files changed