Implement notification repeat feature.

As discussed and agreed on in #393.
Fixes #393. Fixes #1131.
Why do you need to store two different preferences?