on unav upgrades, be more quiet by default and explain more with --verbose

closes #1772
unav upgrades: also print optimised-away upgrades
Merge pull request #1790 from OCamlPro/unav-upgrades-verb

on unav upgrades, be more quiet by default and explain more with --verbose