Add @dan, @henry, @ma1 to nightly build emails

We should make @dan, @henry, @ma1 receive the emails about nightly build results.