Export tick counter in CPU state

[cscott]

Otherwise we do a flurry of tick increments after a state is loaded to catch up to the stored timer tick values, because clk_timer_timestamp and prog_timer_timestamp are stored relative to tick_counter but the tick_counter is not saved.

[jcrona]

Good catch, tick_counter needs to be exported indeed, so I'm merging this one !