dev-manual: document variables
Only display global variables in `opam config list`
Merge pull request #1136 from AltGr/document-variables

dev-manual: document variables