On/Off hotkey for sounds

[Debilski]

I think there should be a hotkey (or some other tool) to temporarily switch off the ai alarm (open question whether this should also switch back the /etc/hosts file – or we need to introduce split DNS) and the countdown music.