Add a 'short' option to display repositories

'opam repo -s' now displays a compact list of repositories (which could be used by opam update)