Update ghc command line options
Update travis config