[wip] feat: time 'sync' operation

[teto]

Logging could have timestamps too. I might want to add it to :Rocks install operation too.

Will test this locally.

[github-actions[bot]]

Review Checklist

Does this PR follow the Contribution Guidelines? Following is a partial checklist:

Proper conventional commit scoping:

• For example, fix(installer): some installer bugfix

• [ ] Pull request title has the appropriate conventional commit prefix.

If applicable:

• [ ] Tested
  • [ ] Tests have been added.
  • [ ] Tested manually (steps in PR description).
• [ ] Updated documentation.

[mrcjkb]

I'm not really too keen on adding timings to the progress notifications.

Maybe the logs are a better place?

[teto]

sure