How can one use the timers on nrf51

[rnestler]

I see there are two timers implemented in https://github.com/Nemo157/embrio-rs/tree/master/embrio-nrf51/src/timer. But as far as I can see they aren't used anywhere? How is one supposed to use them?