add liquidhaskell to travis build