Bash completion for the mpv media player