Added option to change the audio output between HDMI and 3.5mm.

Tested and working on the Pi. I used option 0 for the new options as I wasn't sure if it would work with double digit menu options e.g. 10). But perhaps you want to change it to use option 10) instead of 0).