Added time.* library (currently only time.micros() is supported).