a3c427898e
API additions; - time.sleep() is added - time.ticks_cpu() is added, but it just returns 0 No API or functional change to existing time functions. Signed-off-by: Damien George <damien@micropython.org>