Add an option to specify time format

[eltoder]

str(float) prints 16 decimal places, which is too verbose and much more than the precision in the profiles. Print 7 digits by default and allow setting the format with --time-format.

[codecov]

Codecov Report

Attention: Patch coverage is 88.88889% with 1 line in your changes missing coverage. Please review.

Project coverage is 85.70%. Comparing base (4f75c58) to head (cc55157).
Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
gprof2dot.py	88.88%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #102      +/-   ##
==========================================
- Coverage   85.76%   85.70%   -0.06%     
==========================================
  Files           1        1              
  Lines        2452     2449       -3     
==========================================
- Hits         2103     2099       -4     
- Misses        349      350       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests

[jrfonseca]

Otherwise looks good.

I actually wonder if --time-format option is worthwhile, but have no strong opinion either way.

[jrfonseca]

Given TIME_FORMAT is not a constant, but rather a variable, please rename it to timeFormat.

[eltoder]

done

[eltoder]

Otherwise looks good.

I actually wonder if --time-format option is worthwhile, but have no strong opinion either way.

I think picking a format that pleases everyone can be hard and it's easy to make it configurable, so we can avoid arguing about it.

[eltoder]

@jrfonseca please take another look

btw, --time-format can also be used to address #58 -- if one wants to see units in the labels, they can add it to the format, e.g. --time-format=%.6gs.

[jrfonseca]

btw, --time-format can also be used to address #58 -- if one wants to see units in the labels, they can add it to the format, e.g. --time-format=%.6gs.

Good point.

Merged. Thanks.

[eltoder]

Thank you