Add mpv to default players

It's another fork of mplayer, more active than mplayer2.