Remove custom erc notifications code

It should be replaced with the use of something like
https://github.com/jwiegley/alert
Merge branch 'master' into personal