While -confusingly IMHO- libvlc_media_player_pause() toggles the pause
state, libvlc_media_player_set_pause() sets it.
(cherry picked from commit 4faa38ecba8274d50fb03ff070ff18df9f4f9875)