Basic colour theme infrastructure
Colour theme in Idris REPL state

The colour theme is now a part of the REPL state. There's not yet a way for
the user to modify the theme, but the groundwork has been laid.
Merge pull request #476 from david-christiansen/color-repl

Beginning of theming support for REPL colors