Add mpg123

The fix for mpv-player/mpv#742 seems to rely on mpg123 (sample-dd.mkv doesn't play without it.)