A simple script that restarts the PulseAudio service. This script might be needed for Ubuntu 13.10 / Linux Mint 16 when the sound gets crispy or not working.