Lua: utime(): Microsecond-resolution time