Add HDMI encoder that does audio

[Spritetm]

For instance https://github.com/charcole/NeoGeoHDMI has support for audio, we can see if we can use that, or at least the audio islet generator. That should give a more HiFi sound.