update .travis.yml
fix tests/test.hs
add libgmp-dev to .travis.yml
update .travis.yml
update travis
ugh
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell