Jeversmann/success mail

Sends build success emails when developer builds and pull requests pass.
the `build_failure_email_sent` column should be updated to have those properties as well.