Add support for keywords in REPL output

This relies on https://github.com/idris-lang/Idris-dev/pull/985 getting merged.
Add keyword highlighting to docs