Merge branch 'jc/pager-configuration-doc'

It was unclear in the documentation how various configurations and
environment variables determine which pager is eventually used.

* jc/pager-configuration-doc:
config: rewrite core.pager documentation

diff --cc Documentation/config.txt
Simple merge