Semantic colouring of identifiers in REPL
Basic colourisation in REPL
Colourisation fix for repl
Colourise implicit params with underline
Move colourisation to a separate module

This will make it easier to selectively import it and to avoid cyclic
dependencies.
Add command line option to control REPL colours

--colour will ensure that colours are on, and --nocolour will ensure that they
are off. American spellings also supported.
Make --quiet imply --nocolour

This keeps ANSI colour codes from interfering with things like test scripts
and editor support.
Have :t colourise the left side of the colon
Update CHANGELOG for colours in REPL
Merge branch 'color-repl' of https://github.com/david-christiansen/Idris-dev into david-christiansen-color-repl
Merge branch 'master' of github.com:edwinb/Idris-dev