Update .travis.yml to send build logs only to leansmt-dev list.