Remove obsolete "intero-repl-last-loaded" var
Remove obsolete "intero-repl-last-loaded" var

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