Added .travis.yml
Added travis status to readme.md
Fixed user-defined parens bug in forall/exists rendering.