opam switch list: improved documentation

Closes #1021