vtimer: improve documentation of vtimer_set_msg()

Declares which type the message event handler has.