Sound Killer

Mute and restore sounds on Windows 7 when switching between logged in users

See http://jugglingcats.github.io/soundkiller for more details.

In Windows 10 this is a standard feature, so obviously it was a good idea ;-)