Add wavplay function using Linux's PulseAudio

Under linux, it is possible to play wav files without any prerequisites. In
Ubuntu I had to install libpulse-dev, but Fedora had the libpulse-simple
library already installed.