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