chore(travis): set up email notification to dreal-dev at googlegroups
chore(travis): set up email diff