Update .gitignore
Update README.md -- OSX support, Ninja build
Add forall, foldl, foldr to sexpr_funcs
Add more tests on sexpr_funcs
Update format.cpp & format.h + Update format tests
Update .travis.yml to send an email to the mailing list (leansmt-dev@googlegroups.com)