chore(travis): email to dreal-build@googlegroups
chore(travis): email to dreal-build@googlegroups