Update .travis.yml to send an email to the mailing list (leansmt-dev@googlegroups.com)