Xous Service: ticktimer

This implements the ticktimer API. Please see the api docs for more details.