timer_gettick(): Rename to timer_ticks() and add backwards compatibility inline.