Implement notification repeat feature.

As discussed and agreed on in #393.
Fixes #393. Fixes #1131.
This is RenotifyReciever, but above it's NotificationDeleteBroadcastReceiver.  Settle on a single naming convention.