Add email notification on repository deletion/removal

Release notes

Email notification on repository deletion. If you access your user's email notification settings at /profile/notifications there is no option to receive a notification if the repo is deleted, which is an important thing to be notified about.

Intended users

Developers, system administrators or anyone interested.