Update High Availability docs. Clarify terms master/primary standby/slave,

move two paragraphs that apply to log shipping in general from the
"Alternative method for log shipping" section to the earlier sections.
Add varname tags where missing. Some small wording changes.