Semantic colourisation in Idris repl

The Idris REPL now supports Conor colous, as in: http://imgur.com/ziMvzNG

What remains to be done on this feature:
  * Colorisation of TT terms in the prover
  * Customization of colors for those with different color schemes
  * Windows support (this seems to require putting pretty-printing inside of IO)