player: rework timer on_discontinuity() callback
Signaling discontinuity had 2 purposes:
- To handle seek requests, but it could not really work, hence the new on_seek() callback.
- Signal when the player is paused or stopping
This MR replaces this event with on_paused().
Edited by Thomas Guillem