Pretty print time

[jepessen]

When I perform a vcpkg command that prints time, like the elapsed time after an upgrade, I see the time in decimal form, like 1.324 hours.

It would be nice to have the time pretty printed in normal form, like 01:19:26.000