Feature/api wallclock time update interval
Created by: bwidtmann
make wallclock update interval configurable through MediaPlayer API and use this value to influence pruning buffer interval correctly.
This was implemented in 1.5.2 so we should also use it in 2.0