Some UI fixes: document "opam config list", fix some return values...