gabriel/new_travis gabriel/1_3_0 ghc8_workaround master