Add option to allow audio downloads

This defaults to true, so new projects will not see any difference. But
existing projects will have it default to false (technically to undefined,
which will be treated as false) and will need to turn it on to keep the
same settings as before. If it is false, the "play" button for audio
will remain, but the "download" button will be disabled.