Fix the documentation for --short (as it can be used with 'opam switch list' as well now)