Don't output so much information by default

[isaacabraham]

When doing a standard Paket install / update, we shouldn't output quite so much information, especially things like timings. Leave them on with a verbose flag etc. but in standard operation, I don't think it's really necessary.

[forki]

I agree. PRs welcome. Isaac Abraham <notifications@github.com> schrieb am Fr., 7. Feb. 2020, 21:49:

…

When doing a standard Paket install / update, we shouldn't output quite so much information, especially things like timings. Leave them on with a verbose flag etc. but in standard operation, I don't think it's really necessary. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#3790?email_source=notifications&email_token=AAAOANFANK65KJZGJD73LLTRBXCONA5CNFSM4KRUWJFKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4IL5L2GA>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAAOANHFP4RSE75XQLZXPODRBXCONANCNFSM4KRUWJFA> .