Update .travis.yml to send build logs only to leansmt-dev list.
Fix performance bug in format, add paren combinator