Re-enable old Android port's sound with an SDL2_mixer contrib.

Yay.
Use SDL2_Mixer to play sounds on non-Android platforms too.

Disabled if we're using the old Windows sound support.
Touch INSTALL.txt to indicate the new dependencies and sound support.