- somewhat fixed the media player widget so that it updates automatically;
  I think using the correct anchor fixed it
- MediaPlayerControl is now implemented by MediaPlayerPresenter instead of
  the RoviRunnerMediaPlayer, otherwise responsibilities are too mixed
- added MediaControllerNoHide; this is just a non-hiding version of
  MediaController; it doesn't hide itself after 3 seconds