add .travis.yml
add text invariants back for nicer example at the end
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell

Conflicts:
	docs/blog/2014-05-21-text-internals.lhs