Travis: use ghc 7.8.3.