Fixes idris-lang/Idris-dev#512

Fixes --nocolour and Trifecta in REPL