javascript: handle special names
Merge pull request #475 from raichoo/master

javascript: handle special names
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
Allow colour options from REPL

Add the command :colour or :color. Syntax:

:colour on - enable colors
:colour off - disable colors
:colour TYPE OPTIONS - set a colour

where TYPE is keyword, function, type, implicit, boundvar
amd OPTIONS are ANSI colour names, underline, bold, vivid, dull
Tab completion for setting colours at the REPL
Parser fix for colour setting commands
Colourise REPL prompt
Merge pull request #477 from david-christiansen/color-repl

Set colors at REPL