Make use of the `--verbose` flag

[andreasabel]

Currently (2022-01-27) the --verbose option has no effect.

What should --verbose do? (Please extend list.)

• pull-cabal: print filename that has just been downloaded. Helpful if hundreds of files are pulled, which can take a while.