A little reorganisation of clauses elaboration
To be more clear which case tree is which
Merge pull request #471 from david-christiansen/color-repl

Colourise some error messages
Merge branch 'master' of github.com:edwinb/Idris-dev
Ignore Mac OS X .DS_Store files
Prevent io_bind reducing at REPL
Add skeleton of inliner
%flag directive

Allows additional flags to be passed to a code generator (e.g. extra
library directories for C, output of `sdl-config` etc)
Paper typo fix
Check for duplicates when adding object files/libs/flags

Otherwise, loading an ibc multiple times causes problems.
Some packaging fixes

In particular, locate .o and .h files correctly after package installation
Merge pull request #472 from darinmorrison/master

Ignore Mac OS X .DS_Store files
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