Verbosity automatically depends on mode of STDIN.

Before:

    $ hoa :resolve hoa://Library -V | xargs echo

Now, because verbosity depends of the mode of STDIN:

    $ hoa :resolve hoa://Library | xargs echo

It is no longer useful to precise the -V/--no-verbose option when we use
commands with pipes or redirections.