- added a new setting which allows the user to choose between displaying
the time in milliseconds, and displaying the time in GMT/UTC format.