Add a user setting for the build timestamp

[StephenS]

Currently, the exec.py file has the output of the build results in %.1fs of a second rounded to one decimal place.

Would it be possible to have a user setting exposed for this to show milliseconds as opposed to how it is atm.

Thanks.