Add timing output to subprocess commands in make.py

[alanJoshiGeorge]

trafficstars

[einarf]

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

[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

[einarf]

I fixed the remaining issue and merged. Thank you.