Add option to download highest-quality mp3

[natanlao]

This may be equivalent to --audio-format BEST --extract-audio which would be a non-starter because of server-side processing. Or maybe this could be as simple as highlighting the --format bestaudio download, if available.