Add timing output to subprocess commands in make.py

[alanJoshiGeorge]

No description provided.

[einarf]

@alanJoshiGeorge Do you know how to proceed? If not .. scream and we'll help.

[Copilot]

Pull Request Overview

This PR adds timing measurement to the subprocess command execution in make.py.

• Introduces time.perf_counter to measure execution time.
• Formats and prints the elapsed time in hours, minutes, and seconds.

[einarf]

Just do a python make.py format to sort the imports and this is good 👍

[pushfoo]

I'm fine with it as-is (post-./make.py format):

• There may be a timezone issue now and then
• Python 3.13's perf_counter is a monotonic counter which avoids them