Implement the hal functions necessary for utime.ticks_ms() and
utime.ticks_us().  This enables much more accurate measurements of time
taken in Pycardium (useful for profiling).

Please note that the tick counter will reset whenever a new app is
loaded.

Signed-off-by: Rahix <rahix@rahix.de>