utime.time only provides a resolution of a second. This is not adequate for proper timing. This merge request implements a method utime.time_ms similar to utime.time but with millisecond resolution