Added Linux alternative using mplayer

This is an alternative to #1, it uses `mplayer`, so there's no need to change the sound file to a big .wav.