vtimer: fix callback usage

Right now the vtimer callback uses unnecessary type casts, which make understanding it difficult.
Functions like `vtimer_callback()` and `vtimer_tick()` were exposed though they are internal use only.

This PR fixes both.