Added notification e-mails and spam control

Added notification e-mails for fixed and wontfix proofs
Still to-do recommendation e-mails, with input of blog-url