Time prints us, not ms.
Fixed user-program time and improved time handling.
Now, rtc supports microseconds and we have gettimeofday.