Remove 8.0.2 from the travis build until there's a nightly
Remove 8.0.2 from the travis build until there's a nightly

chrisdone/ghci-ng,chrisdone/intero,chrisdone/ghci-ng,chrisdone/intero,chrisdone/intero,commercialhaskell/intero,commercialhaskell/intero,commercialhaskell/intero