Give a bit more context for error messages

That is, say what part of what is being elaborated at the time. Still todo,
better rendering of generated names like decorated names in where blocks,
generated function types in classes and instances etc.
Merge branch 'master' of github.com:edwinb/Idris-dev
Better representation and rendering of generated names

In particular, this means that type class instances and methods, and names
in where clauses, will have more readable names in error messages.

Needs make relib
Add newer tests to idris.cabal
Fix missing case in Java codegen
Generate simpler names with showCG
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
Add support for init scripts

Now, ~/.idris/repl/init will be run when the REPL starts up. This can be used
to implement colour themes or to set other options.
Update CHANGELOG for init scripts
javascript: positional arguments
Have the REPL save its history between sessions