Various improvements to the command-line arguments

* better confirmation of actions
* differentiate dry-run and show actions
* more intuitive behaviour for `opam list <pkg>`
* tiny display improvement